2026-09-21T06:35:41Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/107953 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 Freitag, James Pynn-Coates, Nigel Adam Lucas 2020-08-26T21:54:41Z 2020-08-26T21:54:41Z 2020-05-04 2020-05 This thesis is a contribution to the algebra and model theory of certain valued differential fields and ordered valued differential fields. We focus on those with small derivation, which is a strong form of continuity of the derivation with respect to the valuation topology, and especially on those that are also asymptotic, which is a weak valuation-theoretic analogue of l'Hôpital's Rule. The first component of this thesis concerns three conjectures for valued differential fields $K$ with small derivation and linearly surjective differential residue field: the uniqueness of maximal immediate extensions of $K$, the equivalence of differential-algebraic maximality and differential-henselianity for asymptotic $K$, and the existence and uniqueness of differential-henselizations of asymptotic $K$. First, we show that any two maximal immediate extensions of $K$ are isomorphic over $K$ whenever the value group of $K$ has only finitely many convex subgroups. More significantly, we also establish this conjecture when $K$ is asymptotic. Next, we show that if $K$ is asymptotic and differential-henselian, then it is differential-algebraically maximal; this is optimal, as Aschenbrenner, van den Dries, and van der Hoeven have shown that the asymptoticity assumption is necessary. They have also shown that if $K$ is differential-algebraically maximal, then it is differential-henselian, so this establishes the equivalence of differential-algebraic maximality and differential-henselianity for asymptotic $K$. Finally, we use this equivalence to show that if $K$ is asymptotic, then it has a differential-henselization, and that differential-henselizations are unique. The second component of this thesis builds on the first to study the model theory of pre-$H$-fields with gap 0, which are certain asymptotic ordered valued differential fields with small derivation that are transexponential in some sense. We show that the theory $T^*$ of differential-henselian, real closed pre-$H$-fields that have exponential integration and closed ordered differential residue field (such pre-$H$-fields necessarily have gap 0) has quantifier elimination in the language $\{+, -, \cdot, 0, 1, \leqslant, \preccurlyeq, \der\}$. From quantifier elimination, we deduce that this theory is complete and is the model completion of the theory of pre-$H$-fields with gap 0 (equivalently, it axiomatizes the class of existentially closed pre-$H$-fields with gap 0). Moreover, we show that it is combinatorially tame in the sense that it is distal, and hence has NIP. Finally, we consider a two-sorted structure with one sort for a model of $T^*$ and one sort for its residue field in a language $\mathcal{L}_{\res}$ expanding the language $\{+, -, \cdot, 0, 1, \leqslant, \der\}$ of ordered differential rings, and show that the theory of this two-sorted structure is model complete when the theory of the residue field is model complete in $\mathcal{L}_{\res}$. Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2020-08-25 without embargo terms The student, Nigel Pynn-Coates, accepted the attached license on 2020-04-30 at 19:54. The student, Nigel Pynn-Coates, submitted this Dissertation for approval on 2020-04-30 at 20:11. This Dissertation was approved for publication on 2020-05-04 at 15:20. DSpace SAF Submission Ingestion Package generated from Vireo submission #15138 on 2020-08-25 at 17:10:22 Made available in DSpace on 2020-08-26T21:54:41Z (GMT). No. of bitstreams: 3 PYNN-COATES-DISSERTATION-2020.pdf: 957343 bytes, checksum: 64ca765d06c11f49e6f7899a2015e113 (MD5) LICENSE.txt: 4214 bytes, checksum: 5b0e444c6d227c2aca26193b0ffe2f67 (MD5) PROQUEST_LICENSE.txt: 4560 bytes, checksum: a8814fe1ecd574f3e42c051d7b007c00 (MD5) Previous issue date: 2020-05-04 application/pdf http://hdl.handle.net/2142/107953 en Copyright 2020 Nigel Adam Lucas Pynn-Coates algebra valued differential fields asymptotic fields pre-H-fields differential-henselianity logic quantifier elimination model companion On asymptotic valued differential fields with small derivation text Thesis Mathematics Mathematics University of Illinois at Urbana-Champaign Dissertation Ph.D.