A dichotomy for $T$-convex fields with a monomial group
Logic
2024-12-24 v2
Abstract
We prove a dichotomy for o-minimal fields , expanded by a -convex valuation ring (where is the theory of ) and a compatible monomial group. We show that if is power bounded, then this expansion of is model complete (assuming that is), it has a distal theory, and the definable sets are geometrically tame. On the other hand, if 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