×

非赋值结构的对理论。 (英语) Zbl 1442.03018号

本文研究了有序群的弱o-极小无值扩张。对于弱o-极小结构(mathcal{M})及其o-极小完备(mathca{barM}。此外,作者还给出了一个弱o-极小非赋值展开的例子,该展开是紧的,但它并不基本等价于o-极小迹的约简。

MSC公司:

03C64型 有序结构的模型理论;o极小性
03C10号机组 量词消除、模型完整性和相关主题
03C40号 插值、保存、可定义性
03C60型 模型理论代数
06英尺15英寸 有序的组
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Baisalov,Y.和Poizat,B.,《最小结构对》,本期刊,第63卷(1998年),第2期,第570-578页·Zbl 0910.03025号
[2] Boxall,G.和Hieronymi,P.,《不引入新开集的扩展》,《期刊》,第77卷(2012年),第1期,第111-121页·Zbl 1245.03059号
[3] Eleftheriou,A.、Gunaydin,P.E.和Hieronymi,P.,《o-极小结构的稠密集驯服展开中的结构定理》,arXiv E-prints,2017年·Zbl 1472.03037号
[4] Eleftheriou,P.E.、Hasson,A.和Keren,G.,《关于弱o-极小非赋值结构中可定义的Skolem函数》,本期刊,第82卷(2017),第4期,1482-1495·Zbl 1385.03041号
[5] Keren,G.,弱o-极小结构中的可定义紧性,硕士论文,内盖夫本古里安大学,2014。
[6] Macpherson,D.、Marker,D.和Steinhorn,C.,《弱o-极小结构和实闭域》。《美国数学学会学报》,第352卷(2000年),第12期,第5435-5483页。(电子)·Zbl 0982.03021号
[7] Marker,D.,《模型理论:导论》,《数学研究生教材》,第217卷,Springer-Verlag出版社,纽约,2002年·Zbl 1003.03034号
[8] Miller,C.和Starchenko,S.,有序群o-最小展开的增长二分法。《美国数学学会学报》,第350卷(1998年),第9期,第3505-3521页·Zbl 0904.03022号
[9] Van Den Dries,L.,《o-极小结构的致密对》。《数学基础》,第157卷(1998年),第1期,第61-78页·Zbl 0906.03036号
[10] Wencel,R.,《弱最小非价值结构》。《纯粹和应用逻辑年鉴》,第154卷(2008年),第3期,第139-162页·Zbl 1146.03027号
[11] Wencel,R.,关于弱o-极小结构的强细胞分解性质。《数学逻辑季刊》,第59卷(2013年),第6期,第452-470页·Zbl 1325.03041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。