English

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

Logic 2023-03-08 v2

Abstract

Let TT be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let KK be a model of TT equipped with a TT-convex valuation ring and a TT-derivation. If this derivation is continuous with respect to the valuation topology, then we call KK a TT-convex TT-differential field. We show that every TT-convex TT-differential field has an immediate strict TT-convex TT-differential field extension which is spherically complete. In some important cases, the assumption of polynomial boundedness can be relaxed to power boundedness.

Keywords

Cite

@article{arxiv.2104.10802,
  title  = {$T$-convex $T$-differential fields and their immediate extensions},
  author = {Elliot Kaplan},
  journal= {arXiv preprint arXiv:2104.10802},
  year   = {2023}
}

Comments

26 pages

R2 v1 2026-06-24T01:24:57.121Z