English

Almost real closed fields with real analytic structure

Logic 2024-04-17 v2

Abstract

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure Ran\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 ω\omega-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.

Keywords

Cite

@article{arxiv.2401.10758,
  title  = {Almost real closed fields with real analytic structure},
  author = {Kien Huu Nguyen and Mathias Stout and Floris Vermeulen},
  journal= {arXiv preprint arXiv:2401.10758},
  year   = {2024}
}

Comments

28 pages

R2 v1 2026-06-28T14:21:41.741Z