Abstract
We establish a simple algebraic elimination of quantifiers procedure for the theory of algebraically closed fields. This theory is model complete (Corollary 8.5). Among the applications are Hilbert’s Nullstellensatz and the Bertini-Noether theorem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
A. Macintyre, K. McKenna and L.v.d. Dries, Elimination of quantifiers in algebraic structures, Advances in Mathematics 47 (1983), 74–87
G.E. Sacks, Saturated Model Theory, Benjamin, Reading, 1972
A. Tarski, A decision procedure for elementary algebra and geometry, Technical report (prepared by MacCkinsy), The Rand Corporation, Santa Monica, 1948
A. Macintyre, On definable subsets of p-adic fields, The Journal of Symbolic Logic 41 (1976), 605–610
S. Lang, Introduction to Algebraic Geometry, Interscience Publishers, New York, 1964
S. Lang, Diophantine Geometry, Interstience Publishers, New York, 1962
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fried, M.D., Jarden, M. (1986). Algebraically Closed Fields. In: Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07216-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-07216-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-07218-9
Online ISBN: 978-3-662-07216-5
eBook Packages: Springer Book Archive