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 …

Geometric structures with a dense independent subset

A Berenstein, E Vassiliev - Selecta Mathematica, 2016 - Springer
We study a generalization of the expansion by an independent dense set, introduced by
Dolich, Miller, and Steinhorn in the o-minimal context, to the setting of geometric structures …

Locally o-minimal structures and structures with locally o-minimal open core

A Fornasiero - Annals of Pure and Applied Logic, 2013 - Elsevier
We study first-order expansions of ordered fields that are definably complete, and moreover
either are locally o-minimal, or have a locally o-minimal open core. We give a …

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 …

Generic derivations on o-minimal structures

A Fornasiero, E Kaplan - Journal of Mathematical Logic, 2021 - World Scientific
Let T be a complete, model complete o-minimal theory extending the theory RCF of real
closed ordered fields in some appropriate language L. We study derivations δ on models …

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 …

Tame structures and open cores

A Fornasiero - arXiv preprint arXiv:1003.3557, 2010 - arxiv.org
arXiv:1003.3557v1 [math.LO] 18 Mar 2010 Page 1 arXiv:1003.3557v1 [math.LO] 18 Mar 2010
Tame structures and open cores Version 3.2 A. Fornasiero October 31, 2018 Abstract We …

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 …

A weak version of the strong exponential closure

P D'Aquino, A Fornasiero, G Terzo - Israel Journal of Mathematics, 2021 - Springer
Abstract Assuming Schanuel's Conjecture we prove that for any irreducible variety V⊆ ℂ
n×(ℂ*) n over ℚalg, of dimension n, and with dominant projections on both the first n …

Generic trivializations of geometric theories

A Berenstein, E Vassiliev - Mathematical Logic Quarterly, 2014 - Wiley Online Library
We study the theory of the structure induced by parameter free formulas on a “dense”
algebraically independent subset of a model of a geometric theory T. We show that while …