Keywords
- Finite Extension
- Algebraic Extension
- Independence Property
- Nonstandard Model
- Turing Reducibility
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
