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

DOI10.2307/2274698MaRDI QIDQ3984428zbMATH OpenOpenAlexFDO

Authors 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\(p\)-adically closed ringsaxiomatizationdefinable functionselimination of quantifiersfield of fractionsgeneralized formal power seriesHenselian valuation ringsring of definable and continuous functions on a \(p\)-adic curvevaluation fieldvariants of Ax-Kochen-Ershov principle

Mathematics Subject Classification ID

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

Recommendations

• Anneaux de fonctions p-adiques
• \(p\)-convexly valued rings
• Definissabilite dans les Corps de Fonctions p-Adiques

Cites work

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

Cited in

(9)

• scientific article; zbMATH DE number 4093598 (Why is no real title available?)
• Definissabilite dans les Corps de Fonctions p-Adiques
• European Summer Meeting of the Association for Symbolic Logic
• Anneaux de fonctions p-adiques
• 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
• Analytic difference rings
• \(p\)-convexly valued rings
• Analytic nullstellensätze and the model theory of valued fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3984428)