Abstract
We prove that any field definable in (Q p, +, ·) is definably isomorphic to a finite extension ofQ p .
Similar content being viewed by others
References
Borel, A.: Linear algebraic groups. New York Amsterdam: Benjamin 1969
Chevalley, G: Theorie des groupes de Lie. II. Groupes algebriques. Paris: Hermann 1951
Macintyre, A.: On definable subsets ofp-adic fields. J. Symb. Logic41, 605–610 (1976)
Nesin, A., Pillay, A.: Model Theory of compact Lie groups. Preprint 1988 (to appear in Trans. Am. Math. Soc.)
Pillay, A.: Groups and fields definable in 0-minimal structures. J. Pure Appl. Algebra53, 239–255 (1988)
Poizat, B.: Une theorie de Galois imaginaire. J. Symb. Logic48, 1151–1170 (1983)
Poizat, B., Borel, M.: Tits, Zilber et le general nonsense. J. Symb. Logic53, 124–131 (1988)
Serre, J.-P.: Lie groups and Lie algebras. New York Amsterdam: Benjamin 1965
Scowcroft, P., van den Dries, L.: On the structure ofp-adic semialgebraic sets (to appear)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pillay, A. On fields definable inQ p . Arch Math Logic 29, 1–7 (1989). https://doi.org/10.1007/BF01630806
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01630806