Transserial Tame Pair in Differential Field Theory

• Transserial tame pairs are pairs of ordered differential fields where a smaller field is a proper elementary differential subfield, providing a framework for asymptotic analysis.
• They employ an expanded language with a standard part map that allows quantifier elimination and a complete, model-complete theory in transserial settings.
• The theory establishes a relative differential-algebraic dimension that coincides with topological dimension, underpinning local o-minimality and definable Baire category results.

A transserial tame pair is a pair $(K,L)$ of ordered differential fields that formalizes a tame elementary extension $L \subsetneq K$ in transserial settings such as logarithmic-exponential transseries and maximal Hardy fields. In the formulation used for dimension and topology, both fields are models of $T^{nl}_{small}$, the theory of small-derivation closed $H$-fields that are Liouville closed, newtonian, and $\omega$-free; the smaller field is a proper elementary differential subfield; and its convex hull in $K$ is a lift of the residue field. In the expanded tame-pair language, the same structure is expressed by a predicate for the small field, a predicate for the associated valuation ring, and a standard part map. The theory is complete and model complete, admits quantifier elimination in a natural expansion, and supports a relative dimension theory that coincides with naive order-topological dimension; definable sets are moreover locally o-minimal and d-minimal, and satisfy a definable Baire category theorem (Pynn-Coates, 2024, Pynn-Coates, 22 Aug 2025).

1. Foundational setting

The basic ambient objects are Hardy fields, $H$-fields, and transseries-type differential fields. A Hardy field is a subring $H$ of the ring of germs at $+\infty$ of real-valued $C^\infty$ functions on $L \subsetneq K$0, such that $L \subsetneq K$1 is a field and closed under differentiation. Equivalently, it is an ordered differential subfield of the differential field of germs at $L \subsetneq K$2 of definable functions in some o-minimal expansion of $L \subsetneq K$3. A maximal Hardy field is one that is not properly contained in a larger Hardy field. A result of Aschenbrenner–Dries–van den Dries states that all maximal Hardy fields are elementarily equivalent as ordered valued differential fields and satisfy a complete, effectively axiomatized, model-complete theory $L \subsetneq K$4 (Pynn-Coates, 22 Aug 2025).

The theory $L \subsetneq K$5 is the theory of small-derivation closed $L \subsetneq K$6-fields which are Liouville closed, newtonian, and $L \subsetneq K$7-free. Concretely, a closed $L \subsetneq K$8-field $L \subsetneq K$9 is a real closed, ordered differential field with natural valuation ring $T^{nl}_{small}$0, constant field $T^{nl}_{small}$1, and properties

$T^{nl}_{small}$2

together with small derivation and the relevant differential-henselian and Liouville-closed axioms. In the pre-$T^{nl}_{small}$3-field framework, one also encounters differential-Hensel-Liouville closed pre-$T^{nl}_{small}$4-fields: valued differential fields that are $T^{nl}_{small}$5-henselian, real closed, and closed under integration and exponential integration (Pynn-Coates, 2024).

A transserial tame pair may be presented in either of two equivalent idioms. In the reduct used for the dimension theory, one works in

$T^{nl}_{small}$6

with a unary predicate $T^{nl}_{small}$7 for the small field, writing $T^{nl}_{small}$8. In the expanded tame-pair language one uses

$T^{nl}_{small}$9

where $H$0 names $H$1, $H$2 names the valuation ring $H$3, and $H$4 is the standard-part map (Pynn-Coates, 2024, Pynn-Coates, 22 Aug 2025).

Clause	Content
(TTP1)	$H$5 and $H$6 are models of $H$7; equivalently, real closed, newtonian, Liouville-closed $H$8-fields with small derivation
(TTP2)	$H$9 is a proper elementary differential subfield
(TTP3)	The convex hull of $\omega$0 in $\omega$1 satisfies $\omega$2, equivalently $\omega$3

The condition $\omega$4 means that $\omega$5 is a lift of the residue field of the valued field $\omega$6. In the tame-pair language this is encoded by the standard part map

$\omega$7

for $\omega$8, equivalently the unique $\omega$9 with $K$0 (Pynn-Coates, 2024).

2. Model theory of the pair

The theory of transserial tame pairs is complete and model complete. In $K$1, model completeness is proved by extending embeddings into saturated targets via the residue field lift, using an embedding lemma for $K$2-Hensel-Liouville closed pre-$K$3-fields, and then performing a back-and-forth on differential-field generators. Completeness follows as a corollary (Pynn-Coates, 2024).

A stronger structural result is quantifier elimination in a suitable expansion. After adjoining two extra binary predicates $K$4 arising from the newton-function calculus of $K$5, every formula is equivalent to a Boolean combination of quantifier-free residue-field conditions on $K$6 and special formulas of the form

$K$7

where $K$8 is quantifier-free in the language of $K$9-structures and the $H$0 are differential-field terms in $H$1 (Pynn-Coates, 2024).

In the reduct used for the topological and dimensional theory, the pair admits quantifier-reduction to formulas asserting

$H$2

with $H$3 quantifier-free in $H$4. This reduction is a key technical input for the analysis of definable dimension and of one-dimensional definable sets (Pynn-Coates, 22 Aug 2025).

The smaller field $H$5 and the common constant field $H$6 are purely stably embedded. Thus any $H$7-definable subset of $H$8 is already definable in the pure differential structure on $H$9, and any $H$0-definable subset of $H$1 is definable in the pure field structure on $H$2. This isolates the additional complexity of the pair in the interaction between the two levels $H$3, rather than in new induced structure on the small field itself (Pynn-Coates, 2024).

3. Relative differential-algebraic dimension

The dimension theory of transserial tame pairs is built by relativizing differential algebraicity to the small field. For any differential field $H$4, one has the usual differential-algebraic pregeometry

$H$5

In a transserial tame pair $H$6, this is refined to

$H$7

For a parameter-definable set $H$8,

$H$9

where $+\infty$0 is $+\infty$1-saturated; additionally, $+\infty$2 and $+\infty$3 of a constant set is $+\infty$4 (Pynn-Coates, 22 Aug 2025).

The operator $+\infty$5 is a pregeometry, closed under algebraic combinations over $+\infty$6, and its associated rank satisfies the standard dimension axioms. These include monotonicity, the union axiom, invariance under permutations of coordinates, a projection principle for coordinate projections, and additivity on Cartesian products. The dimension is nontrivial, since $+\infty$7 (Pynn-Coates, 22 Aug 2025).

A central point is definability. The dimension $+\infty$8 comes from an existential matroid, and therefore qualifies as a definable dimension in the sense of van den Dries and Fornasiero. This yields uniqueness: any other definable dimension on a transserial tame pair agrees with $+\infty$9. In that sense, the relative differential-algebraic geometry of the pair has a canonical dimension theory (Pynn-Coates, 22 Aug 2025).

4. Equality with order-topological dimension

Transserial tame pairs are endowed with the order topology on $C^\infty$0 and the product topology on $C^\infty$1. For a definable set $C^\infty$2, the naive topological dimension $C^\infty$3 is defined as the maximal $C^\infty$4 such that some $C^\infty$5-coordinate projection of $C^\infty$6 has nonempty interior in $C^\infty$7 (Pynn-Coates, 22 Aug 2025).

The principal theorem identifies the relative differential-algebraic dimension with this naive topological dimension. For every definable $C^\infty$8,

$C^\infty$9

Consequently,

$L \subsetneq K$00

This ties the model-theoretic rank directly to the order topology of the ambient field (Pynn-Coates, 22 Aug 2025).

The proof uses both differential algebra and quantifier reduction. If $L \subsetneq K$01, then by compactness $L \subsetneq K$02 is contained in the zero set of a nonzero differential polynomial $L \subsetneq K$03 with parameters $L \subsetneq K$04, so $L \subsetneq K$05 has empty interior. Conversely, if $L \subsetneq K$06 has nonempty interior, quantifier elimination in $L \subsetneq K$07 allows one to represent a defining conjunction by open-type inequalities in differential polynomials, from which one obtains $L \subsetneq K$08. The theorem therefore converts interior, nowhere density, meagreness, and relative differential transcendence into equivalent manifestations of the same dimension-theoretic boundary (Pynn-Coates, 22 Aug 2025).

A further definability consequence concerns families. If $L \subsetneq K$09 is definable and $L \subsetneq K$10 denotes the fiber over $L \subsetneq K$11, then the set of parameters $L \subsetneq K$12 for which $L \subsetneq K$13 is itself definable, because $L \subsetneq K$14 is equivalent to $L \subsetneq K$15 having empty interior. This is the mechanism by which $L \subsetneq K$16 becomes a definable dimension in the formal sense (Pynn-Coates, 22 Aug 2025).

5. One-variable tameness and definable Baire category

The topological behavior of definable subsets of the line is strongly constrained. If $L \subsetneq K$17 is definable and $L \subsetneq K$18, then there exists $L \subsetneq K$19 such that either

$L \subsetneq K$20

or

$L \subsetneq K$21

is an interval containing $L \subsetneq K$22. This is the local o-minimality statement for transserial tame pairs (Pynn-Coates, 22 Aug 2025).

The proof sketch proceeds by reducing, through the quantifier-reduction theorem, to the case where $L \subsetneq K$23 is very large over the ground structure. The type of such an element over $L \subsetneq K$24 is then determined by its image under the logarithmic derivative tower, which forces neighborhoods in a definable set to be either interval-like or isolated. As stated, this is a local result, not a global o-minimality theorem (Pynn-Coates, 22 Aug 2025).

A corollary is d-minimality. Every definable subset of $L \subsetneq K$25 is a finite union of an open set and a discrete set, and more generally the usual d-minimality conditions hold for fibers of definable maps $L \subsetneq K$26. This places transserial tame pairs within the class of structures whose one-dimensional definable sets are topologically simple even when higher-dimensional geometry remains genuinely non-o-minimal (Pynn-Coates, 22 Aug 2025).

The same dimension theory yields a definable Baire category theorem. A subset $L \subsetneq K$27 is definably meagre if it is covered by an increasing definable family of nowhere dense sets $L \subsetneq K$28, indexed by a definable directed set $L \subsetneq K$29. Any definably meagre set is nowhere dense. In particular, there is no definable cover of $L \subsetneq K$30 by a directed union of proper definable closed sets of empty interior. This is a strong definable Baire category theorem, derived from the fact that an increasing union of sets of dimension $L \subsetneq K$31 still has dimension $L \subsetneq K$32, so it cannot fill an $L \subsetneq K$33-dimensional open set (Pynn-Coates, 22 Aug 2025).

6. Examples, constructions, and scope

The theory was developed for pairs modeled on the differential field $L \subsetneq K$34 of logarithmic-exponential transseries. The field $L \subsetneq K$35 consists of generalized power series in a large indeterminate $L \subsetneq K$36, closed under addition, multiplication, derivation $L \subsetneq K$37, exponentiation, logarithm, and well-founded infinite sums. Its natural valuation ring

$L \subsetneq K$38

is the convex hull of $L \subsetneq K$39 in $L \subsetneq K$40, its maximal ideal $L \subsetneq K$41 consists of infinitesimals, and the residue field is canonically isomorphic to $L \subsetneq K$42 with trivial derivation (Pynn-Coates, 2024).

Several canonical examples organize the subject. Écalle’s field of hyperseries $L \subsetneq K$43 is a proper class, newtonian, Liouville closed $L \subsetneq K$44-field containing trans-exponential objects such as $L \subsetneq K$45. With

$L \subsetneq K$46

and $L \subsetneq K$47 the maximal differential subfield of $L \subsetneq K$48 consisting of hyperseries supported on exp-bounded monomials, the pair $L \subsetneq K$49 is a transserial tame pair; the standard part map rounds a hyperseries to the unique transseries with the same principal part. Conway’s field $L \subsetneq K$50, equipped with its natural derivation, is a newtonian, Liouville closed $L \subsetneq K$51-field extending $L \subsetneq K$52, and the convex hull of $L \subsetneq K$53 yields the tame pair $L \subsetneq K$54. Every maximal Hardy field $L \subsetneq K$55, under the usual growth-at-infinity embedding, is a proper elementary extension of $L \subsetneq K$56, and its convex hull of $L \subsetneq K$57 defines a tame pair $L \subsetneq K$58 (Pynn-Coates, 2024).

A complementary existence theorem shows that every maximal Hardy field has a proper elementary differential subfield that is Dedekind complete in the maximal Hardy field. Such a pair is a transserial tame pair. This provides a direct Hardy-field source for the dimension and topology theory, and links abstract model theory to asymptotic differential algebra on germs at $L \subsetneq K$59 (Pynn-Coates, 22 Aug 2025).

The framework is best understood as a way to encode the asymptotic gap between two nested models $L \subsetneq K$60 in elementary terms. In this role it unifies examples from transseries, hyperseries, surreal numbers, and maximal Hardy fields. The phrase should not be conflated with the unrelated “tame filling inequalities” of geometric group theory, which concern van Kampen homotopies and coarse distance in finitely presented groups rather than pairs of ordered differential fields (Brittenham et al., 2011).