GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES

被引：0
作者：
Fornasiero, Antongiulio [1 ]
Terzo, Giuseppina [2 ]
机构：
[1] Univ Firenze, Dipartimento Matemat & Informat Ulisse Dini, Florence, Italy
[2] Univ Napoli Federico II, Dipartimento Matemat & Applicazioni Renato Cacciop, Naples, Italy
来源：
JOURNAL OF SYMBOLIC LOGIC | 2024年
关键词：
derivation; algebraically bounded; model completion; DIFFERENTIAL FIELDS; MODEL-THEORY; DIMENSION; COMPANION;
D O I：
10.1017/jsl.2024.57
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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-delta , has a model completion. Additionally, we prove that if the theory T is stable/NIP then the model completion of T-delta is also stable/NIP. Similar results hold for the theory with several derivations, either commuting or non-commuting.
引用
收藏
页数：27
相关论文
共 15 条
12