Let K be an algebraically bounded structure, and let 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.
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES / Fornasiero, A.; Terzo, G.. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - (2024), pp. 1-27. [10.1017/jsl.2024.57]
GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES
Terzo G.
2024
Abstract
Let K be an algebraically bounded structure, and let 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.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.
