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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …