Definable Operations on Sets and Elimination of Imaginaries

Jan Holly
1993 Proceedings of the American Mathematical Society  
This paper gives a new and constructive proof of Poizat's theorem that the theory of algebraically closed fields admits elimination of imaginaries. The proof uses ideas of definability for properties and operations on definable sets. In addition, the property of being finite in an algebrically closed field, as well as the property of having a given algebraic dimension are shown to be definable properties.
doi:10.2307/2159546 fatcat:hedqnrqt3bavdaaabywh2l3wfm