A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Definable Operations on Sets and Elimination of Imaginaries
1993
Proceedings of the American Mathematical Society
Preserved Fulltext
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