×
奥维·阿赫曼;维拉·科波宁

简单齐次结构中秩为1的集。 （英语） Zbl 1360.03073号

芬丹。数学。 228，第3223-250号（2015）.
到目前为止，我们已经很好地理解了可数、同质和稳定的结构。作者将这些结果推广到更一般的简单结构。他们给出了一系列技术引理和定理。例如，主要结果如下：
定理5.1。设（{mathcal M}）是可数的，二元的，齐次的，简单的，具有平凡的依赖性。假设\（G\substeqM^{text{eq}}\）是\（A\）可定义的，其中\（A\substeq M\）是有限的，对于每个\（G\），只有有限多个排序表示为\（G\mathrm{SU}（A/A）=1\）和\（operatorname{acl}（\{A\}\cup A）\cap G=\{A\}\）。让\（{mathcal G}\）表示\（{mathcal M}^{mathrm{eq}}\）over \（A\）with universe \（G\）中的规范嵌入结构。那么\（{mathcal G}\）是二元随机结构的约简。
作者作了详细的介绍和前言，以提供背景材料。但他们假设简单理论是“实用知识”。
审核人：M.Yasuhara（普林斯顿）

引用于6文件

MSC公司：

03元50分 具有特殊属性（饱和、刚性等）的模型
03C45号机组 分类理论、稳定性和模型理论中的相关概念
03C15号 可数可分结构的模型理论

关键词：

简单理论;可数的;同质模型
PDF格式BibTeX公司 XML格式引用
\textit{O.Ahlman}和\textit{V.Koponen}，Fundam。数学。228、3号、223--250（2015；Zbl 1360.03073）
全文： 内政部 arXiv公司

参考文献：

[1] [1] A.Aranda López，Omega范畴简单理论，利兹大学博士论文，2014年。
[2] [2] E.Casanovas，《简单理论和超想象》，《逻辑课堂讲稿39》，符号逻辑协会和剑桥大学出版社，2011年。
[3] [3] Cherlin，可数齐次有向图和可数齐性n-竞赛图的分类，Mem。阿默尔。数学。Soc.131（1998），第621号·Zbl 0978.03029号
[4] [4] G.Cherlin，L.Harrington和A.H.Lachlan，\aleph0-范畴，\aleph 0-稳定结构，Ann.Pure Appl。逻辑28（1985），103–135·Zbl 0566.03022号
[5] [5] G.Cherlin和E.Hrushovski，《类型较少的有限结构》，《数学年鉴》。第152期，普林斯顿大学出版社，2003年·Zbl 1024.03001号
[6] [6] T.de Piro和B.Kim，基于1的最小类型的几何，Trans。阿默尔。数学。Soc.355（2003），4241–4263·Zbl 1021.03023号
[7] [7] M.Djordjević，有限可满足性和具有平凡依赖的aleph0-范畴结构，《符号逻辑杂志》71（2006），810-830·Zbl 1109.03024号
[8] [8] H.-D.Ebbinghaus和J.Flum，《有限模型理论》，第二版，Springer，1999年。
[9] [9] R.Fraíssé，《公共关系的延伸》，《科学年鉴》。埃科尔规范。补充71（1954年），363–388。
[10] [10] A.Gardiner，齐次图，J.Combin。B 20（1976），94-102·Zbl 0327.05111号
[11] [11] 是的。于。Gol'fand和M.H.Klin，《关于k-齐次图》，载于《组合数学中的算法研究》，莫斯科，瑙卡，1978年，76-85（俄语）。
[12] [12] B.Hart、B.Kim和A.Pillay，《简单理论中的协调和规范基础》，《符号逻辑杂志》65（2000），293–309·Zbl 0945.03051号
[13] [13] C.W.Henson，《可数同质关系结构和范畴理论》，《符号逻辑杂志》37（1972），494-500·Zbl 0259.02040号
[14] [14] W.Hodges，《模型理论》，剑桥大学出版社，1993年。
[15] [15] T.Jenkinson，J.K.Truss和D.Seidel，《可数齐次多部图》，《欧洲杂志》，第33期（2012年），第82–109页。250度。Ahlman和V.Koponen·Zbl 1230.05247号
[16] [16] W.M.Kantor、M.W.Liebeck和H.D.Macpherson，用有限子结构平滑近似分类结构，Proc。伦敦数学。Soc.59（1989），439-463·Zbl 0649.03018号
[17] [17] A.S.Kolesnikov，n-简单理论，《纯粹应用》。逻辑131（2005），227-261。
[18] [18] V.Koponen，可拓性质的渐近概率和随机l-可染结构，Ann.Pure Appl。逻辑163（2012），391-438·Zbl 1257.03057号
[19] [19] V.Koponen，《均匀1-基结构和随机结构中的可解释性》，arXiv:1403.3757（2014）。
[20] [20] A.H.Lachlan，可数同质锦标赛，Trans。阿默尔。数学。Soc.284（1984），431-461·Zbl 0562.05025号
[21] [21]A.H.Lachlan，稳定有限齐次结构：综述，载于：B.T.Hart等人（编辑），代数模型理论，Kluwer，1997145-159·Zbl 0878.03024号
[22] [22]A.H.Lachlan和A.Tripp，有限齐次3-图，数学。逻辑四分之一。41 (1995), 287–306. ·Zbl 0830.05038号
[23] [23]A.H.Lachlan和R.E.Woodrow，可数超同质无向图，Trans。阿默尔。数学。《社会分类》262（1980），51–94·Zbl 0471.03025号
[24] [24]D.Macpherson，《{\（\omega\）}范畴结构中的解释群》，《符号逻辑杂志》56（1991），1317-1324·Zbl 0737.03011号
[25] [25]D.Macpherson，齐次结构调查，离散数学。311 (2011), 1599–1634. ·Zbl 1238.03032号
[26] [26]W.Oberschelp，组合学中的渐近0-1定律，见：D.Jungnile（编辑），组合理论，数学课堂笔记。969，施普林格出版社，1982年，276–292·Zbl 0515.05001号
[27] [27]J.H.Schmerl，可数齐次偏序集，《代数普遍性》9（1979），317–321·Zbl 0423.06002号
[28] [28]J.Sheehan，光滑可嵌入子图，J.London Math。Soc.9（1974），212-218·Zbl 0293.05131号
[29] [29]S.Shelah，分类理论，北荷兰，1990年。
[30] [30]F.O.Wagner，《简单理论》，Kluwer，2000年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。