Absorbed Types and Derivations in Exponential o-Minimal Theories

TL;DR

This work characterizes transserial exponential o-minimal theories by analyzing unary $T_{convex}$-types using a germ-based valued differential-field framework. It shows that transseriality is equivalent to exponential-boundedness together with a gne-property that governs how extensions realize unary types, and it extends these ideas to several extensions of models via wim- and res-constructible chains. The results yield Tressl’s signature-alternative in simply exponential o-minimal fields with Archimedean prime models and align Hardy field Rosenlicht levels across elementary extensions. The approach combines mean-value-type arguments from o-minimality with a robust theory of $ ext{O}$-absorbed/weakly absorbed types and notions of convexity for derivations, producing a coherent picture of how definable exponentials and differential structure interact in germs. Collectively, the paper advances a rigorous link between transseriality, exponential-boundedness, and the residual-constructibility behavior of extensions, with implications for model-theoretic signatures and asymptotic analysis in o-minimal contexts.

Abstract

I analyze $\mathcal{O}$-weakly immediate and $\mathcal{O}$-residual types in an o-minimal expansion of an ordered field $\mathbb{E}$, where $\mathcal{O}$ is a convex valuation ring. The main result is a characterization of those exponential theories $T$ such that for all $(\mathbb{E}, \mathcal{O})\models T_{\mathrm{convex}}$ the image of any $\mathcal{O}$-weakly immediate type is given by some composition of translations, sign changes and exponential, of some \emph{possibly different} $\mathcal{O}$-weakly immediate type. I call these theories \emph{transserial} and they encompass simply exponential theories such as $T_{\exp}$ and $T_{an, \exp}$. A consequence of the analysis is that there are no counterexamples to \emph{Tressl's signature-alternative} (cf [15]) in models of transserial theories admitting an Archimedean prime model. The characterization has at its core some arguments that use very few but fundamental properties of the valued differential field of germs at a cut in an o-minimal structure. These are abstracted in some conditions of compatibility between the derivation and the order or the derivation and the valuation, both ultimately stemming from the mean-value-theorem in o-minimal structures. I develop some basic theory around these notions and observe that in the case of few constants (i.e.\ when the valuation ring contains the constants) these notions specialize to notions thoroughly studied in arXiv:1509.02588

Theorems & Definitions (188)

• Theorem A
• Theorem B
• Definition 2.1
• Remark 2.2
• Lemma 2.3
• proof
• Remark 2.4
• Definition 2.5
• Remark 2.6
• Remark 2.7