$T$-convex $T$-differential fields and their immediate extensions
Logic
2023-03-08 v2
Abstract
Let be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let be a model of equipped with a -convex valuation ring and a -derivation. If this derivation is continuous with respect to the valuation topology, then we call a -convex -differential field. We show that every -convex -differential field has an immediate strict -convex -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