Abstract:Let $T$ be the theory of an o-minimal field, and $T_{\mathrm{convex}}$ the theory of its expansion by a predicate $\mathcal{O}$ for a non-trivial $T$-convex valuation ring. For $\lambda$ an uncountable cardinal, say that a unary type $p(x)$ over a model of $T_{\mathrm{convex}}$ is \emph{$\lambda$-bounded weakly immediate} if its cut is defined by an empty intersection of fewer than $\lambda$ many nested valuation balls. Call an elementary extension \emph{$\lambda$-bounded wim-constructible} if it is obtained as a transfinite composition of extensions each generated by one element whose type is $\lambda$-bounded weakly immediate. I show that $\lambda$-bounded wim-constructible extensions do not extend the residue-field sort and that any two wim-constructible extensions can be amalgamated in an extension which is again $\lambda$-bounded wim-constructible over both. A consequence is that given an uncountable cardinal $\lambda$, every model of $T_{\mathrm{convex}}$ has a unique-up-to-non-unique-isomorphism $\lambda$-spherically complete $\lambda$-bounded wim-constructible extension. We call this extension the $T$-$\lambda$-spherical completion. When $T$ is power bounded wim-constructible extensions are just the immediate extensions. I discuss the example of power bounded theories expanded by $\exp$.

Monotone $T$-convex $T$-differential fields

A dichotomy for $T$-convex fields with a monomial group

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures

Tame pairs of transseries fields

Model theory of differential-henselian pre-$H$-fields

Duality for differential modules over complete non-archimedean valuation field of characteristic zero

On ordinary differentially large fields

Differentially Closed Fields: a Model-Theoretic Tour

Differentially Henselian Fields

The uniform companion for fields with free operators in characteristic zero

Neostability transfers in derivation-like theories

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

On the structure of $T$-$λ$-spherical completions of o-minimal fields

Towards a Model Theory for Transseries

The theory DCF$_p$A exists for $p>0$

A model theory for meromorphic vector fields

$T$-convexly valued o-minimal fields are definably spherically complete

Differential models for B-type open-closed topological Landau-Ginzburg theories

A tale of two Liouville closures

Curve-excluding fields

The syntomic regulator for K-theory of fields