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

DOI10.2307/2274698zbMath0746.03025OpenAlexW2014300054MaRDI 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 numbersaxiomatizationelimination of quantifiersdefinable functionsfield of fractionsHenselian valuation ringsvaluation fieldgeneralized formal power series\(p\)-adically closed ringsring of definable and continuous functions on a \(p\)-adic curvevariants of Ax-Kochen-Ershov principle

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Valued fields (12J10)

Related Items (4)

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

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

This page was built for publication: Anneaux p-adiquement clos et anneaux de fonctions définissables