arXiv subjects

Terzo Giuseppina

Publications and source records attributed to Terzo Giuseppina.

2 recordsLinked to original sources

arXiv2025

Generic derivations on algebraically bounded structures II. Model theoretical properties

Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established in [FT:24], with particular attention to its model-theoretic properties, including $\omega$-stability, simplicity, open core, and elimination of imaginaries.

math.LO↗

arXiv2024

Generic derivations on algebraically bounded structures

Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^δ$, has a model completion. Additionally, we prove that if the theory T is stable/NIP then the model completion of $T^δ$ is also stable/NIP. Similar results hold for the theory with several derivations, either commuting or non-commuting.

math.LO↗