Let T be an algebraically bounded theory. We consider the L(\bar δ)-expansions of T by a tuple \bar δ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established, with particular attention to its model-theoretic properties, including ω-stability, simplicity, open core, and elimination of imaginaries.
Generic derivations on algebraically bounded structures II Model theoretical properties / Fornasiero, Antongiulio; Terzo, Giuseppina. - (2025), pp. 1-36. [10.48550/arXiv.2507.22181]
Generic derivations on algebraically bounded structures II Model theoretical properties
GIUSEPPINA TERZO
2025
Abstract
Let T be an algebraically bounded theory. We consider the L(\bar δ)-expansions of T by a tuple \bar δ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established, with particular attention to its model-theoretic properties, including ω-stability, simplicity, open core, and elimination of imaginaries.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
