Liouville closed -fields
Let be an o-minimal theory extending the theory of real closed ordered fields. An -field is a model of equipped with a -derivation such that the underlying ordered differential field of is an -field. We study -fields and their extensions. Our main result is that if is power bounded, then every -field has either exactly one or exactly two minimal Liouville closed -field extensions up to -isomorphism. The assumption of power boundedness can be relaxed to allow for certain exponential cases, such as .