Distality in valued fields and related structures
M Aschenbrenner, A Chernikov, A Gehret… - Transactions of the …, 2022 - ams.org
We investigate distality and existence of distal expansions in valued fields and related
structures. In particular, we characterize distality in a large class of ordered abelian groups …
structures. In particular, we characterize distality in a large class of ordered abelian groups …
Topological fields with a generic derivation
PC Kovacsics, F Point - Annals of Pure and Applied Logic, 2023 - Elsevier
We study a class of tame L-theories T of topological fields and their L δ-extension T δ⁎ by a
generic derivation δ. The topological fields under consideration include henselian valued …
generic derivation δ. The topological fields under consideration include henselian valued …
Generic derivations on algebraically bounded structures
A Fornasiero, G Terzo - The Journal of Symbolic Logic, 2024 - cambridge.org
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES T : the expansion
of T saying that the i are derivations which commute w Page 1 The Journal of Symbolic Logic …
of T saying that the i are derivations which commute w Page 1 The Journal of Symbolic Logic …
Generic derivations on algebraically bounded structures
F Antongiulio, T Giuseppina - arXiv preprint arXiv:2310.20511, 2023 - arxiv.org
Let K be an algebraically bounded structure. If K is model complete, then the theory of K
endowed with a derivation has a model completion. Similar results hold for several …
endowed with a derivation has a model completion. Similar results hold for several …
[PDF][PDF] Exponential fields: Lack of generic derivations
F Antongiulio, G Terzo - arXiv preprint arXiv:2407.14840, 2024 - arxiv.org
arXiv:2407.14840v1 [math.LO] 20 Jul 2024 Page 1 arXiv:2407.14840v1 [math.LO] 20 Jul 2024
Exponential Fields: Lack of Generic Derivations ANTONGIULIO FORNASIERO AND …
Exponential Fields: Lack of Generic Derivations ANTONGIULIO FORNASIERO AND …
Liouville closed HT-fields
E Kaplan - Journal of Algebra, 2023 - Elsevier
Let T be a complete, model complete o-minimal theory extending the theory of real closed
ordered fields. An H T-field is a model K of T equipped with a T-derivation Image 1 such that …
ordered fields. An H T-field is a model K of T equipped with a T-derivation Image 1 such that …
Pro-definability of spaces of definable types
P Cubides Kovacsics, J Ye - … of the American Mathematical Society, Series …, 2021 - ams.org
We show pro-definability of spaces of definable types in various classical complete first
order theories, including complete o-minimal theories, Presburger arithmetic, $ p $-adically …
order theories, including complete o-minimal theories, Presburger arithmetic, $ p $-adically …
On definable groups in real closed fields with a generic derivation, and related structures
Y Peterzil, A Pillay, F Point - arXiv preprint arXiv:2208.08293, 2022 - arxiv.org
We study finite-dimensional groups definable in models of the theory of real closed fields
with a generic derivation (also known as CODF). We prove that any such group definably …
with a generic derivation (also known as CODF). We prove that any such group definably …
T-convex T-differential fields and their immediate extensions
E Kaplan - Pacific Journal of Mathematics, 2023 - msp.org
Let T be a polynomially bounded o-minimal theory extending the theory of real closed
ordered fields. Let K be a model of T equipped with a T-convex valuation ring and a T …
ordered fields. Let K be a model of T equipped with a T-convex valuation ring and a T …
Derivations on o-minimal fields
EA Kaplan - 2021 - ideals.illinois.edu
Abstract" 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 …
the theory of $ K $. In this thesis, we study derivations $\der $ on $ K $. We require that these …