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 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.
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