Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$

Abstract: We add an analytic trans-exponential function $\varphi$ to $\mathbb{R}{an,\exp}$. We reduce the o-minimality of $\mathbb{R}{an,\exp,\varphi}$ to the existence of "many" regular values for some definable systems of functions, which is a necessary condition for the o-minimality of $\mathbb{R}_{an,\exp,\varphi}$.

• The paper demonstrates that if an analytic trans-exponential function meets a regularity condition, then the expansion ℝₐₙ,exp,ϕ is o-minimal.
• It employs Wilkie's o-minimal test and bounds non-singular solutions in definable analytic systems using techniques from Morse theory and homological methods.
• The results pave the way for advances in tame geometry and model theory by integrating trans-exponential functions into o-minimal frameworks.

Trans-Exponential O-Minimal Expansions of $(\mathbb{R},+,\cdot,0,1,<)$: Summary and Analysis

---

Context and Motivation

O-minimality is a model-theoretic property characterizing expansions of the real ordered field $(\mathbb{R},+,\cdot,0,1,<)$ wherein every one-variable definable set is a finite union of points and intervals. This property is foundational for tame geometry and provides crucial tools for applications in real algebraic and analytic geometry. The canonical o-minimal structures, such as $\mathbb{R}_{\exp}$, $\mathbb{R}_{\log}$, and $\mathbb{R}_{\text{an,exp}}$, have been extensively studied. However, none admit a definable trans-exponential function—a function $T:\mathbb{R}\to\mathbb{R}$ eventually outgrowing any finite composition of exponentials, i.e., for each $i\in\mathbb{N}$, there exists $N_i\in\mathbb{N}$ such that for all $x\geq N_i$, $T(x)>\exp_i(x)$.

The paper "Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot,0,1,<)$0" (2604.03477) investigates the existence and o-minimality of a structure $(\mathbb{R},+,\cdot,0,1,<)$1, where $(\mathbb{R},+,\cdot,0,1,<)$2 is an analytic trans-exponential function, and clarifies under what conditions such a structure remains o-minimal. The approach reduces the o-minimality problem to bounding non-singular solutions of definable analytic systems—drawing on Wilkie's o-minimal test, techniques from Milnor, and regularity assumptions on analytic systems.

---

Existence and Properties of Analytic Trans-Exponential Functions

The paper leverages classical results concerning the Abel equation to construct an explicit analytic trans-exponential function $(\mathbb{R},+,\cdot,0,1,<)$3 satisfying $(\mathbb{R},+,\cdot,0,1,<)$4. Kneser's theorem ensures the existence of strictly increasing analytic solutions to such functional equations. Several key properties are derived:

• $(\mathbb{R},+,\cdot,0,1,<)$5 is eventually dominated by any iterate of $(\mathbb{R},+,\cdot,0,1,<)$6, guaranteeing trans-exponential growth.
• $(\mathbb{R},+,\cdot,0,1,<)$7 tends to $(\mathbb{R},+,\cdot,0,1,<)$8 as $(\mathbb{R},+,\cdot,0,1,<)$9, with derivative $\mathbb{R}_{\exp}$0.
• $\mathbb{R}_{\exp}$1 is bounded on $\mathbb{R}_{\exp}$2.

These properties are used to show that term-definable functions in $\mathbb{R}_{\exp}$3 are eventually bounded by iterated exponentials, crucial for subsequent compactness arguments.

---

Bounding Non-Singular Solutions in Definable Systems

Central to the paper is bounding the number of non-singular zeroes for analytic systems of the form:

$\mathbb{R}_{\exp}$4

where $\mathbb{R}_{\exp}$5 are smooth functions definable in $\mathbb{R}_{\exp}$6, and $\mathbb{R}_{\exp}$7 are $\mathbb{R}_{\exp}$8-monomials and $\mathbb{R}_{\exp}$9-monomials, respectively.

The argument leverages genericity in projections (Grassmannians), o-minimal cell decomposition, and Sard's theorem to ensure the density of regular values and subanalyticity. The main result (Theorem \ref{rtb}) asserts: If the definable system satisfies a triangulation and regularity property (essentially, local subanalyticity and density of regular values), then there is a uniform bound $\mathbb{R}_{\log}$0 on the number of non-singular solutions for all parameter choices.

The regularity condition is emphasized as necessary for o-minimality; its failure would allow uncontrolled growth in the number of connected components, violating tameness.

---

Reduction to O-Minimality via Wilkie's Test

O-minimality is reduced to bounding the number of connected components in intersections with affine subspaces. Wilkie’s o-minimal test posits that a structure is o-minimal if every quantifier-free definable set $\mathbb{R}_{\log}$1 has $\mathbb{R}_{\log}$2, i.e., a uniform bound on the number of connected components obtained after intersection with any affine subspace.

By rephrasing quantifier-free formulas as zero sets of term-definable functions (using disjunctive normal form and algebraic encodings), the paper demonstrates that bounding non-singular zeroes of systems (as above) suffices for o-minimality. This reduction is technically non-trivial and relies on the triangulation and compactness results for definable sets.

---

Topological and Homological Argumentation

Binding the number of connected components of definable sets invokes Morse-theoretic estimates, specifically utilizing the Weak Morse Inequalities: the sum of Betti numbers of a compact manifold is bounded by the number of critical points of a Morse function. The analytic structure enables all spaces to be triangulable (subanalytic triangulations), and ENR properties ensure equivalence between Čech and singular cohomology.

By applying Alexander duality and Mayer-Vietoris, the sum of Betti numbers for compact manifolds and their boundaries is shown to be controlled by the number of non-singular zeroes of associated systems, achieved via the regularity assumption.

---

Main Theorem and Implications

The fundamental result is:

If $\mathbb{R}_{\log}$3 is an analytic trans-exponential function satisfying the regularity assumption (bounded number of non-singular zeroes for the associated systems), then $\mathbb{R}_{\log}$4 is o-minimal and trans-exponential.

This result is both constructive and conditional: it provides a pathway to the existence of o-minimal trans-exponential expansions, but the regularity assumption is crucial and non-trivial—it is, in a sense, a strengthening of Sard’s theorem applied in the definable analytic context.

---

Practical and Theoretical Implications

The existence of o-minimal structures with definable trans-exponential functions has significant consequences for model theory, tame geometry, and real analytic/real algebraic geometry. Such structures would offer new tools for quantifier elimination, real analytic stratification, and finer control over definable sets with extremely fast growth. The results provide motivation for further study of o-minimal structures containing higher-order analytic functions and their applications in counting, measure, and homology.

Future work could focus on relaxing regularity assumptions, exploring quantifier elimination in these expanded structures, developing analogs of Khovanskii’s fewnomials theory for Abel equations, or studying the interplay with dynamic systems and monodromy in o-minimal geometry.

---

Conclusion

This paper provides a rigorous and technically detailed reduction of the o-minimality of $\mathbb{R}_{\log}$5—for analytic trans-exponential $\mathbb{R}_{\log}$6—to bounding non-singular zeroes in definable analytic systems. The regularity assumption and analytic properties together ensure the compactness required for Morse-theoretic and homological estimates, yielding o-minimality. The implications are substantial for advancements in the theory of o-minimal structures, opening avenues for further investigation into tame expansions involving higher-order transcendental analytic functions (2604.03477).