A dichotomy for T-convex fields with a monomial group

MaRDI QIDQ6436432zbMATH OpenFDO

Authors Elliot Kaplan, Christoph Kesting

Publication date 12 May 2023

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10)

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

This page was built for publication: A dichotomy for $T$-convex fields with a monomial group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6436432)