$T$-convex $T$-differential fields and their immediate extensions

Elliot Kaplan

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$…