Skip to main content Accessibility help

Model-complete theories of e-free Ax fields

  • Moshe Jarden (a1) and William H. Wheeler (a2)


This paper's goal is to determine which complete theories of perfect, e-free Ax fields are model-complete. A field K is e-free for a positive integer e if the Galois group g(KSK), where Ks is the separable closure of K, is an e-free, profinite group. A perfect field K is pseudo-algebraically closed if each nonvoid, absolutely irreducible variety defined over K has a K-rational point. A perfect, pseudo-algebraically closed field is called an Ax field. The main theorem is

A complete theory of e-free Ax fields is model-complete if and only if its field of absolute numbers is e-free.

The sufficiency of the latter condition is an easy consequence of a result of Moshe Jarden and Ursel Kiehne [10] and has been noted independently by A. Macintyre and K. McKenna and undoubtedly by others as well. Consequently the necessity of the latter condition is the interesting part of this paper.

James Ax [3] initiated the investigation of 1-free Ax fields. He proved that these fields, which he called pseudo-finite fields, are precisely the infinite models of the theory of finite fields. He [3] also presented examples of perfect, 1-free fields which are not pseudo-algebraically closed and an example of a 1-free Ax field whose complete theory is not model-complete. Moshe Jarden [5] showed that the first examples are isolated cases in that almost all, perfect, 1-free, algebraic extensions of a denumerable, Hilbertian field are pseudo-algebraically closed. The results in this paper show that the second example is also an isolated case in that almost all complete theories of 1-free Ax fields are model-complete.



Hide All
[1]Adler, Allan and Kiefe, Catarina, Pseudofinite fields, procyclic fields, and model-completion. Pacific Journal of Mathematics, vol. 62 (1976), pp. 305309.
[2]Ax, James, Solving diophantine problems modulo every prime, Annals of Mathematics (2nd series), vol. 85 (1967), pp. 161183.
[3]Ax, James, The elementary theory of finite fields, Annals of Mathematics (2nd series), vol. 88 (1968), pp. 239271.
[4]Geyer, W.D., Galois groups of intersections of local fields, Israel Journal of Mathematics, vol. 30 (1978), pp. 382396.
[5]Jarden, Moshe, Elementary statements over large algebraic fields, Transactions of the American Mathematical Society, vol. 164 (1972), pp. 6791.
[6]Jarden, Moshe, Algebraic extensions of finite corank of Hilbert ian fields, Israel Journal of Mathematics, vol. 18 (1974), pp. 279307.
[7]Jarden, Moshe, Roots of unity over large, algebraic fields, Mathematische Annalen, vol. 213 (1975), pp. 109127.
[8]Jarden, Moshe, Intersections of conjugate fields of finite corank over Hilbertian fields, Journal of the London Mathematical Society (2), vol. 17 (1978), pp. 393396.
[9]Jarden, Moshe, The elementary theory of ω-free Ax fields, Inventiones Mathematicae, vol. 38 (1976), pp. 187206.
[10]Jarden, Moshe and Kiehne, Ursel, The elementary theory of algebraic fields of finite corank, Inventiones Mathematicae, vol. 30 (1975), pp. 275294.
[11]Lang, Serge, Introduction to algebraic geometry, Wiley, New York, 1958.
[12]Lang, Serge, Algebra, Addison-Wesley, Reading, Mass., 1965.
[13]Neukirch, Jürgen, Über gewisse ausgezeichnete unendliche algebraische Zahlkörper, Bonner Mathematische Schriften, vol. 25 (1965).
[14]Neukirch, Jürgen, Über eine algebraische Kennzeichung der Henselkörper, Journal für die reine und angewandte Mathematik, vol. 231 (1968), pp. 7581.
[15]Ribes, Luis, Introduction to profinite groups and Galois cohomology, Queen's Papers in Pure and Applied Mathematics, no. 24, Queen's University, Kingston, Ontario, 1970.
[16]van den Dries, L.P.D. and Lubotzky, L., Normal subgroups of free profinite groups, Israel Journal of Mathematics, vol. 39 (1981), pp. 2545.
[17]Wheeler, W.H., Model-complete theories of pseudo-algebraically closed fields, Annals of Mathematical Logic, vol. 17 (1979), pp. 205226.


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed