2026-09-20T20:50:53Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/110462 2023-07-11 col_2142_5131 col_2142_16340 com_2142_5130 com_2142_16339 com_2142_8903

van den Dries, Lou Hieronymi, Philipp Tserunyan, Anush Chen, Ruiyuan Kaplan, Elliot Alexander 2021-09-17T01:10:47Z 2021-09-17T01:10:47Z 2021-04-13 2021-05 "Let $K$ be an o-minimal expansion of a real closed ordered field and let $T$ be the theory of $K$. In this thesis, we study derivations $\der$ on $K$. We require that these derivations be compatible with the $\mathcal{C}^1$-functions definable in $K$. For example, if $K$ defines an exponential function, then we require that $\der\exp(a) = \exp(a)\der a$ for all $a \in K$. We capture this compatibility with the notion of a $T$-derivation. Let $T^\der$ be the theory of structures $(K,\der)$, where $K\models T$ and $\der$ is a $T$-derivation on $K$. We show that $T^\der$ has a model completion $T^\der_{\mathcal{G}}$, in which derivation behaves ""generically."" The theory $T^\der_{\mathcal{G}}$ is model theoretically quite tame; it is distal, it has o-minimal open core, and it eliminates imaginaries. Following our investigation of $T^\der_{\mathcal{G}}$, we turn our attention to $T$-convex $T$-differential fields. These are models $K\models T$ equipped with a $T$-derivation which is continuous with respect to a $T$-convex valuation ring of $K$, as defined by van den Dries and Lewenberg. We show that if $K$ is a $T$-convex $T$-differential field, then under certain conditions (including the necessary condition of power boundedness), $K$ has an immediate $T$-convex $T$-differential field extension which is spherically complete. In the penultimate chapter, we consider $T$-convex $T$-differential fields which are also $H$-fields, as defined by Aschenbrenner and van den Dries. We call these structures $H_T$-fields, and we show that if $T$ is power bounded, then every $H_T$-field $K$ has either exactly one or exactly two minimal Liouville closed $H_T$-field extensions up to $K$-isomorphism. We end with two theorems when $T= T_{\operatorname{re}}$, the theory of the real field expanded by restricted elementary functions. First, we prove a model completeness result for the expansion of the ordered valued differential field $\mathbb{T}$ of logarithmic-exponential transseries by its natural restricted elementary functions. We then use this result to prove that the theory of $H_{T_{\operatorname{re}}}$-fields has a model companion." Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2021-09-16 without embargo terms The student, Elliot Kaplan, accepted the attached license on 2021-04-13 at 09:22. The student, Elliot Kaplan, submitted this Dissertation for approval on 2021-04-13 at 09:42. This Dissertation was approved for publication on 2021-04-13 at 15:03. DSpace SAF Submission Ingestion Package generated from Vireo submission #16296 on 2021-09-16 at 16:41:03 Made available in DSpace on 2021-09-17T01:10:47Z (GMT). No. of bitstreams: 2 KAPLAN-DISSERTATION-2021.pdf: 1109897 bytes, checksum: 10d6d08a3d36ae66cff245ce232d2e7b (MD5) LICENSE.txt: 4210 bytes, checksum: f79957140c99a248fec14c39eaaedcd8 (MD5) Previous issue date: 2021-04-13 application/pdf http://hdl.handle.net/2142/110462 en Copyright 2021 Elliot Alexander Kaplan model theory o-minimality differential algebra valued fields Derivations on o-minimal fields text Thesis Mathematics Mathematics University of Illinois at Urbana-Champaign Dissertation Ph.D.