Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-29T09:01:33.281Z Has data issue: false hasContentIssue false

On definable subsets of p-adic fields

Published online by Cambridge University Press:  12 March 2014

Angus MacIntyre*
Affiliation:
Yale University, New Haven, Connecticut 06520

Extract

The brilliant work of Ax-Kochen [1], [2], [3] and Ersov [6], and later work by Kochen [7] have made clear very striking resemblances between real closed fields and p-adically closed fields, from the model-theoretical point of view. Cohen [5], from a standpoint less model-theoretic, also contributed much to this analogy.

In this paper we shall point out a feature of all the above treatments which obscures one important resemblance between real and p-adic fields. We shall outline a new treatment of the p-adic case (not far removed from the classical treatments cited above), and establish an new analogy between real closed and p-adically closed fields.

We want to describe the definable subsets of p-adically closed fields. Tarski [9] in his pioneering work described the first-order definable subsets of real closed fields. Namely, if K is a real-closed field and X is a subset of K first-order definable on K using parameters from K then X is a finite union of nonoverlapping intervals (open, closed, half-open, empty or all of K). In particular, if X is infinite, X has nonempty interior.

Now, there is an analogous question for p-adically closed fields. If K is p-adically closed, what are the definable subsets of K? To the best of our knowledge, this question has not been answered until now.

What is the difference between the two cases? Tarski's analysis rests on elimination of quantifiers for real closed fields. Elimination of quantifiers for p-adically closed fields has been achieved [3], but only when we take a cross-section π as part of our basic data. The problem is that in the presence of π it becomes very difficult to figure out what sort of set is definable by a quantifier free formula. We shall see later that use of the cross-section increases the class of definable sets.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1976

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.)

Footnotes

1

Supported by NSF grant 43830.

References

REFERENCES

[1] Ax, J. and Kochen, S., Diophantine problems over local fields. I, American Journal of Mathematics, vol. 87 (1965), pp. 605630.CrossRefGoogle Scholar
[2] Ax, J. and Kochen, S., Diophantine problems over local fields. II, A complete set of axioms for p-adic number theory, American Journal of Mathematics, vol. 87 (1965), pp. 631648.CrossRefGoogle Scholar
[3] Ax, J. and Kochen, S., Diophantine problems over local fields. III, Decidable fields, Annals of Mathematics, vol. 83 (1966), pp. 437456.CrossRefGoogle Scholar
[4] Baldwin, J. and Lachlan, A., On strongly minimal sets, this Journal, vol 36 (1971), pp. 7986.Google Scholar
[5] Cohen, P. J., Decision procedures for real and p-adic fields, Communications on pure and applied mathematics, vol. 22 (1969), pp. 131151.CrossRefGoogle Scholar
[6] Ersov, Yu. L., On the elementary theory of maximal normed fields, Doklady Akademii Nauk SSSR, vol. 165 (1965); English translation, Soviet Mathematics , vol. 165 (1965), pp. 13901393.Google Scholar
[7] Kochen, S., Integer valued rational functions over the p-adic numbers: A p-adic analogue of the theory of real fields, Number theory (Proceedings of symposia in pure mathematics, vol. 12) American Mathematical Society, Providence, R.I., 1969, pp. 5773.CrossRefGoogle Scholar
[8] Shoenfield, J. R., A theorem on quantifier elimination, Symposia Mathematica, vol. 5 (1971), pp. 173176.Google Scholar
[9] Tarski, A., A decision procedure for elementary algebra and geometry, The Rand Corporation, Santa Monica, 1948.Google Scholar
[10] Weispfenning, V., On the elementary theory of Hensel fields, Thesis, Heidelberg, 1971.Google Scholar