Real closed valued fields with analytic structure

DOI10.1017/S0013091519000361zbMATH Open1469.32014arXiv1812.02490MaRDI QIDQ5111613FDOQ5111613

Pablo Cubides Kovacsics, Deirdre Haskell

Publication date: 27 May 2020

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• Real closed graded fields
• Analytic nullstellensätze and the model theory of valued fields
• Title not available (Why is that?)
• Strongly positive subquotients in a class of induced representations of classical \(p\)-adic groups
• Fields with analytic structure

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)