Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-16T17:01:14.154Z Has data issue: false hasContentIssue false
  • English
  • Français

Model-complete theories of formally real fields and formally p-adic fields

Published online by Cambridge University Press:  12 March 2014

William H. Wheeler
William H. Wheeler*
Affiliation:
Indiana University, Bloomington, Indiana 47401
Get access Rights & Permissions [Opens in a new window]

Extract

The complete, model-complete theories of pseudo-algebraically closed fields were characterized completely in [11]. That work constituted the first step towards determining all the model-complete theories of fields in the usual language of fields. In this paper the second step is taken. Namely, the methods of [11] are extended to characterize the complete, model-complete theories of pseudo-real closed fields and pseudo-p-adically closed fields.

In order to unify the treatment of these two types of fields, the relevant properties of real closed ordered fields and p-adically closed valued fields are abstracted. The subsequent investigation of model-complete theories of fields is based entirely on these properties. The properties were selected in order to solve three problems: (1) finding universal theories with the joint embedding property, (2) finding first order conditions in the usual language of fields which are necessary and sufficient for a polynomial over a field to have a zero in a formally real or formally p-adic extension of that field, and (3) finding subgroups of Galois groups whose fixed fields are formally real or formally p-adic.

This paper is related to, and uses in §1 but not in the other sections, parts of K. McKenna's work [8] on model-complete theories of ordered fields and p-valued fields. However, the results herein are not direct consequences of his work, both because these results apply to a more general situation and because they use a different formal language. Concerning the latter point, in some instances, such as real closed ordered fields and p-adically closed valued fields, model-complete theories in expanded languages do yield model-complete theories of ordinary fields other than theories of pseudo-algebraically closed fields. However, in other cases, such as differentially closed fields, this is not so.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 4 , December 1983 , pp. 1130 - 1139
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

[1]Ax, J., Solving diophantine problems modulo every prime, Annals of Mathematics (2), vol. 85 (1967), pp. 161–183.CrossRefGoogle Scholar
[2]Hirschfeld, J. and Wheeler, W.H., Foring, arithmetic, division rings, Lecture Notes in Mathematics, vol. 454, Springer-Verlag, Berlin, 1975.Google Scholar
[3]Jarden, M. and Kiehne, U., The elementary theory of algebraic fields of finite corank, Inventiones Mathematical, vol. 30 (1975), pp. 275–294.CrossRefGoogle Scholar
[4]Jakovley, A.V., The Galois group of the algebraic closure of a local field, Mathematics of the U.S.S.R.-Izvestija, vol. 2 (1968), pp. 1231–1269.CrossRefGoogle Scholar
[5]Lang, S., Introduction to algebraic geometry, Interscience, New York, 1958.Google Scholar
[6]Macintyre, A., On definable subsets of p-adic fields, this Journal, vol. 41 (1976), pp. 605–610.Google Scholar
[7]Macintyre, A., McKenna, K. and van den Dries, L.P.D., Elimination of quantifiers in algebraic structures, preprint.Google Scholar
[8]McKenna, K., Logic and local fields, Ph.D. dissertation, Yale University, 1978.Google Scholar
[9]Rose, B., Model-completeness and the center extension property in nonassociative central simple algebras, preprint.Google Scholar
[10]Weiss, E., Algebraic number theory, McGraw-Hill, New York, 1963.Google Scholar
[11]Wheeler, W.H., Model complete theories of pseudo-algebraically closed fields, Annals of Mathematical Logic, vol. 17 (1979), pp. 205–226.CrossRefGoogle Scholar
[12]Zel'venskii, J.G., On the algebraic closure of a local field for p = 2, Mathematics of the U.S.S.R.-Izvestija, vol. 6 (1972), pp. 925–937.CrossRefGoogle Scholar