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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Almost real closed fields with real analytic structure

Mathias Stout, Floris Vermeulen, Kien Huu Nguyen
Journal of Mathematical Logic
Advanced Topology and Set Theory
article

Almost real closed fields with real analytic structure

Mathias Stout, Floris Vermeulen, Kien Huu Nguyen
article en

Abstract

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.

Journal of Mathematical Logic
University of Münster (DE), Vietnam Academy of Science and Technology (VN), McMaster University (CA), KU Leuven (BE)
Openalex Percentile: Top 56%
Advanced Topology and Set Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.