Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Définissabilité avec paramètres extérieurs dans $ {\bf Q}\sb p$ et $ {\bf R}$

Author: Françoise Delon
Journal: Proc. Amer. Math. Soc. 106 (1989), 193-198
MSC: Primary 03C40; Secondary 03C60, 12L12
MathSciNet review: 953003
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ N$ be an elementary extension of the field $ {{\mathbf{Q}}_p}$ and $ A$ a definable subset of $ {N^n}$. Then $ A \cap {\mathbf{Q}}_p^n$ is definable in $ {{\mathbf{Q}}_p}$.

References [Enhancements On Off] (What's this?)

  • [D] F. Delon, Quelques propriétés des corps valués en théorie des modèles, thèse d'état, Paris VII, 1982.
  • [Dr] Lou van den Dries, Tarski’s problem and Pfaffian functions, Logic colloquium ’84 (Manchester, 1984) Stud. Logic Found. Math., vol. 120, North-Holland, Amsterdam, 1986, pp. 59–90. MR 861419, 10.1016/S0049-237X(08)70457-9
  • [Mi1] Angus Macintyre, On definable subsets of 𝑝-adic fields, J. Symbolic Logic 41 (1976), no. 3, 605–610. MR 0485335
  • [Mi2] -, Twenty years of $ p$-adic model theory, in Logic Colloquium '84, cité supra.
  • [MS] D. Marker et C. Steinhorn, Definable types in 0-minimal theories, preprint.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03C40, 03C60, 12L12

Retrieve articles in all journals with MSC: 03C40, 03C60, 12L12

Additional Information

Keywords: Definable subset, analogy between $ {\mathbf{R}}$ and $ {{\mathbf{Q}}_p}$
Article copyright: © Copyright 1989 American Mathematical Society