English

A dichotomy for $T$-convex fields with a monomial group

Logic 2024-12-24 v2

Abstract

We prove a dichotomy for o-minimal fields R\mathcal{R}, expanded by a TT-convex valuation ring (where TT is the theory of R\mathcal{R}) and a compatible monomial group. We show that if TT is power bounded, then this expansion of R\mathcal{R} is model complete (assuming that TT is), it has a distal theory, and the definable sets are geometrically tame. On the other hand, if R\mathcal{R} defines an exponential function, then the natural numbers are externally definable in our expansion, precluding any sort of model theoretic tameness.

Keywords

Cite

@article{arxiv.2305.07749,
  title  = {A dichotomy for $T$-convex fields with a monomial group},
  author = {Elliot Kaplan and Christoph Kesting},
  journal= {arXiv preprint arXiv:2305.07749},
  year   = {2024}
}

Comments

11 pages

R2 v1 2026-06-28T10:33:25.229Z