Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Ax, The elementary theory of finite fields, Ann. of Math. (2) 88 (1968), 239–271.
W. Craig, On axiomatizability within a system, J. S. L. 18 (1953), 30–32.
J. L. Duret, Les corps pseudofinis ont la propriété d' indépendance. C. R. Acad. Sci. Paris 290 (1980), 981–3.
_____, Instabilite' des corps formellement reéls, Canad. Math. Bull 20 (3), 1977.
W-D Geyer, Unendliche algebraische Zahlkörper, über denen jede Gleichung auflősbar von beschränkter stufe ist, Journal of Number Theory 1 (1970), 346–374.
M. Jarden and U. Kiehne, The elementary theory of algebraic fields of finite corank, Inventiones Math. 30 (1975), 275–294.
I. Kaplansky, Maximal fields with valuation, Duke Math. Journal, 9 (1942), 303–321.
A. Macintyre, Residue fields of models of IP, to appear in Proceedings of 1979 Hannover I. C. L. H. P. S. meeting.
A. Macintyre, On ε1-categorical theories of fields, Fund. Math. LXXI (1971), 1–25.
K. Milliken, Hindman's theorem and groups, Journal of Combinatorial Theory A 25 (1978), 175–180.
J. Robinson, Definability and decision problems in arithmetic, J. S. L. 14 (1949), 98–114.
P. Ribenboim, L' Arithmetique des Corps, Herman, Paris, 1972.
S. Tennenbaum, unpublished, c. 1958.
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Macintyre, A. (1981). The complexity of types in field theory. In: Lerman, M., Schmerl, J.H., Soare, R.I. (eds) Logic Year 1979–80. Lecture Notes in Mathematics, vol 859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090946
Download citation
DOI: https://doi.org/10.1007/BFb0090946
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10708-8
Online ISBN: 978-3-540-38673-5
eBook Packages: Springer Book Archive