Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.10758 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916207876112384 |
|---|---|
| author | Nguyen, Kien Huu Stout, Mathias Vermeulen, Floris |
| author_facet | Nguyen, Kien Huu Stout, Mathias Vermeulen, Floris |
| contents | Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ 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 $ω$-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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_10758 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Almost real closed fields with real analytic structure Nguyen, Kien Huu Stout, Mathias Vermeulen, Floris Logic Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ 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 $ω$-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. |
| title | Almost real closed fields with real analytic structure |
| topic | Logic |
| url | https://arxiv.org/abs/2401.10758 |