Real closed valued fields with analytic structure

DOI10.1017/S0013091519000361MaRDI QIDQ5111613zbMATH OpenFDO

Authors Pablo Cubides Kovacsics, Deirdre Haskell

Publication date 27 May 2020

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1812.02490

zbMATH Keywords

real closed valued fields\(o\)-minimalityweak \(o\)-minimality\(C\)-minimalityoverconvergent power seriesseparated analytic structure

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Non-Archimedean analysis (32P05) Quantifier elimination, model completeness, and related topics (03C10) Analytic algebras and generalizations, preparation theorems (32B05)

Abstract: We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are $C$-minimal.

Recommendations

• Fields with analytic structure
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Quantifier elimination for quasi-real closed fields
• Real closed fields with non-standard and standard analytic structure
• The elementary theory of restricted analytic fields with exponentiation

Cites work

• scientific article; zbMATH DE number 755463 (Why is no real title available?)
• scientific article; zbMATH DE number 1450828 (Why is no real title available?)
• T-convexity and tame extensions
• Analytic $p$-adic cell decomposition and integrals
• Analytic cell decomposition and analytic motivic integration
• Fields with analytic structure
• Logarithmic-Exponential Power Series
• Logarithmic-exponential series
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• One-Dimensional p -Adic Subanalytic Sets
• One-dimensional fibers of rigid subanalytic sets
• Real closed fields with non-standard and standard analytic structure
• Real closed rings. II. Model theory
• Rigid Subanalytic Sets
• The elementary theory of restricted analytic fields with exponentiation
• \(p\)-adic and real subanalytic sets

Cited in

(9)

• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• \(p\)-adically closed fields with nonstandard analytic structure
• Analytic nullstellensätze and the model theory of valued fields
• Real closed graded fields
• Strongly positive subquotients in a class of induced representations of classical \(p\)-adic groups
• scientific article; zbMATH DE number 6342263 (Why is no real title available?)
• Fields with analytic structure
• Fundamental theorems of analysis in formally real fields
• Residue field domination in real closed valued fields

This page was built for publication: Real closed valued fields with analytic structure

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