×

构造(ω)稳定结构:秩2域。 (英语) Zbl 0957.03044号

作者通过在形式中添加附加关系,为研究强极小集的扩张提供了一个一般框架E.赫鲁肖夫斯基[见Isr.J.Math.79,129-151(1992;Zbl 0773.12005号); Ann.纯粹应用。逻辑62,147-166(1993;Zbl 0804.03020号)]. 他们证明了量词分离的概念是扩展理论具有可数饱和模型的有限生成模型类扩张的条件。这些相当技术性的概念和结果被进一步应用于为每个从所谓的本原扩张到自然数的足够快速增长的有限对一函数构造一个具有Morley秩2的代数闭域的扩张理论,以这种方式回答了一个问题:C.柏林D.拉斯卡尔[见Ann.Pure Appl.Logic 30,1-43(1986;Zbl 0599.03034号)],并扩展的结果B.波扎特[见J.Symb.Log.641339-1355(1999;Zbl 0938.03058号)],他构造了一个秩为\(\omega\times 2\)的域。最后,作者证明了如果函数不是有限对一的,那么相应的理论可能不是(ω)稳定的。

MSC公司:

03C45号机组 分类理论、稳定性和模型理论中的相关概念
03C60型 模型理论代数
03元50分 具有特殊属性(饱和、刚性等)的模型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] 内政部:10.1090/S0002-9947-97-01869-2·Zbl 0952.03029号 ·doi:10.1090/S0002-9947-97-01869-2
[2] DOI:10.1016/0168-0072(95)00027-5·Zbl 0857.03020号 ·doi:10.1016/0168-0072(95)00027-5
[3] {\(\delta\)}-不变合并类·Zbl 0952.03032号
[4] Le carréde l’egalité
[5] 分叉几何与有限Morley秩60的群pp 1251–(1995)·Zbl 0845.03016号
[6] 内政部:10.1016/0168-0072(93)90171-9·Zbl 0804.03020号 ·doi:10.1016/0168-0072(93)90171-9
[7] DOI:10.1007/BF02808211·Zbl 0773.12005号 ·doi:10.1007/BF02808211
[8] DOI:10.1016/0168-0072(95)00006-2·Zbl 0871.03021号 ·doi:10.1016/0168-0072(95)00006-2
[9] 数学逻辑档案6第395页–(1995)
[10] 新的强极小集的模型完备性
[11] 第七届复活节模型理论会议记录第106页–(1989)
[12] 有限Morley秩群(1994)·Zbl 0816.20001号
[13] 内政部:10.1016/0168-0072(86)90035-7·Zbl 0599.03034号 ·doi:10.1016/0168-0072(86)90035-7
[14] 《纯粹逻辑与应用逻辑年鉴》18,第227页–(1980)
[15] 模型理论第十届复活节会议论文集,Wendisches Rietz,1993年4月12日至19日,第1页–(1993)
[16] 内政部:10.1090/S0002-9947-1994-1165085-8·doi:10.1090/S002-9947-1994-1165085-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。