Existentially closed exponential fields

被引:6
|
作者
Haykazyan, Levon [1 ]
Kirby, Jonathan [2 ]
机构
[1] Univ Waterloo, Dept Pure Math, Waterloo, ON N2L 3G1, Canada
[2] Univ East Anglia, Sch Math, Norwich Res Pk, Norwich NR4 7TJ, Norfolk, England
基金
英国工程与自然科学研究理事会;
关键词
D O I
10.1007/s11856-021-2089-1
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP1 but TP2.
引用
收藏
页码:89 / 117
页数:29
相关论文
共 50 条