Anneaux p-adiquement clos et anneaux de fonctions définissables

DOI10.2307/2274698zbMath0746.03025MaRDI QIDQ3984428

Luc Bélair

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274698

zbMATH Keywords

\(p\)-adic numbers; axiomatization; elimination of quantifiers; definable functions; field of fractions; Henselian valuation rings; valuation field; generalized formal power series; \(p\)-adically closed rings; ring of definable and continuous functions on a \(p\)-adic curve; variants of Ax-Kochen-Ershov principle

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

12L12: Model theory of fields

12J10: Valued fields

Related Items

European Summer Meeting of the Association for Symbolic Logic, Defining integer-valued functions in rings of continuous definable functions over a topological field, 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07, \(p\)-convexly valued rings

Cites Work

• \(p\)-adic and real subanalytic sets
• Normal spectral spaces and their dimensions
• The rationality of the Poincaré series associated to the p-adic points on a variety
• Real closed rings. II. Model theory
• The p-adic spectrum
• Separably real closed local rings
• The geometric theory of \(p\)-adic fields
• Théorie des modeles et faisceaux
• A specialization theorem for p-adic power series converging on the closed unit disc
• On the structure of semialgebraic sets over p-adic fields
• La topologie du spectre réel