Almost real closed fields with real analytic structure
Cluckers and Lipshitz showed that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure [Formula: see text] on the real numbers. We extend this line of research by investigating ordered fields with real analytic structure that are not necessarily real closed. When considered in a language with a symbol for a convex valuation ring, these structures turn out to be tame as valued fields: we prove that they are [Formula: see text]-h-minimal. Additionally, our approach gives a precise description of the induced structure on the residue field and the value group, and naturally leads to an Ax–Kochen–Ersov-theorem for fields with real analytic structure.
Authors
- Mathias Stout
- Floris Vermeulen (ORCID: https://orcid.org/0000-0001-6888-6862)
- Kien Huu Nguyen (ORCID: https://orcid.org/0000-0002-2908-8881)
Institutions
- University of Münster (DE)
- Vietnam Academy of Science and Technology (VN)
- McMaster University (CA)
- KU Leuven (BE)
Publication Details
- Journal
- Journal of Mathematical Logic
- Published
- 2025-12-06
- DOI
- https://doi.org/10.1142/s0219061325500266
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00