p-adically closed fields with nonstandard analytic structure

DOI10.2178/JSL/1278682201MaRDI QIDQ4931091zbMATH OpenOpenAlexFDO

Authors Ali Bleybel

Publication date 4 October 2010

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

Full work available at URL https://doi.org/10.2178/jsl/1278682201

zbMATH Keywords

quantifier eliminationb-minimality\(p\)-adically closed field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10) Formally (p)-adic fields (12J12)

Recommendations

• Real closed fields with non-standard and standard analytic structure
• Strictly convergent analytic structures
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Real closed valued fields with analytic structure

Cites work

• scientific article; zbMATH DE number 3880972 (Why is no real title available?)
• Arithmetic properties of power series solutions of algebraic differential equations
• Formally p-adic fields
• Note on Clark’s theorem for 𝑝-adic convergence
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• On the structure of semialgebraic sets over p-adic fields
• One-Dimensional p -Adic Subanalytic Sets
• Real closed fields with non-standard and standard analytic structure
• Rigid Subanalytic Subsets of Curves and Surfaces
• The rationality of the Poincaré series associated to the p-adic points on a variety
• \(p\)-adic and real subanalytic sets
• b-MINIMALITY

Cited in

(7)

• scientific article; zbMATH DE number 5076632 (Why is no real title available?)
• Substructures and uniform elimination for p-adic fields
• Henselian residually \(p\)-adically closed fields
• Analytic nullstellensätze and the model theory of valued fields
• Real closed fields with non-standard and standard analytic structure
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• Strictly convergent analytic structures

This page was built for publication: \(p\)-adically closed fields with nonstandard analytic structure

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