×

预几何的有限子模型性质和(ω)-范畴展开。 (英语) Zbl 1093.03015号

摘要:我们通过概率论证明了一类代数闭包定义了预几何的(ω)范畴结构具有有限子模型性质。此类包括纯集或向量空间、射影空间或仿射空间在有限域上的任何展开,以便新的关系彼此之间以及在原始结构上充分独立。特别地,随机图属于这一类,因为它是无限集的一个充分独立的展开,没有结构。该类还包含由代数闭包给出的预几何是非平凡的结构。

理学硕士:

03C35号 理论的分类和完整性
03C13号机组 有限结构模型理论
03C45号机组 分类理论、稳定性和模型理论中的相关概念
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 鲍德温,J.T.,《几何的扩展》,《符号逻辑杂志》,68,803-827(2003)·Zbl 1073.03016号
[2] Cherlin,G.,与有限同质性相关的组合问题,当代数学,第131卷(1992),(第3部分)·兹比尔0762.05078
[3] G.Cherlin,M.Djordjević,E.Hrushovski,关于正交性和稳定嵌入性的注记(预印本);G.Cherlin,M.Djordjević,E.Hrushovski,关于正交性和稳定嵌入性的注记(预印本)·Zbl 1100.03022号
[4] Cherlin,G.等人。;哈灵顿,L。;Lachlan,A.H.,(aleph_0)-范畴结构,(aleph _0)稳定结构,《纯粹与应用逻辑年鉴》,28,103-135(1985)·Zbl 0566.03022号
[5] Cherlin,G。;Hrushovski,E.,《少类型有限结构》(2003),普林斯顿大学出版社·Zbl 1024.03001号
[6] Djordjević,M.,《关于没有有限模型的一阶句子》,《符号逻辑杂志》,69,329-339(2004)·Zbl 1081.03029号
[7] Evans,D.M.,(\aleph_0)-预维范畴结构,《纯粹逻辑与应用逻辑年鉴》,116157-186(2002)·Zbl 1002.03022号
[8] 费金,R.,《有限模型中的概率》,《符号逻辑杂志》,41,50-58(1976)·Zbl 0341.02044号
[9] 霍奇斯,W.,《模型理论》(1993),剑桥大学出版社·Zbl 0789.03031号
[10] E.Hrushovski,《简约与拉斯卡集团》(预印本);E.赫鲁肖夫斯基(E.Hrushovski),《简约与拉斯卡集团》(Simplicity and the Lascar group)(预印本)
[11] Kantor,W.M。;Liebeck,M.W。;Macpherson,H.D.,(\aleph_0)-有限结构平滑逼近的范畴结构,伦敦数学学会学报,59,439-463(1989)·Zbl 0649.03018号
[12] Kim,B。;皮莱,A.,《简单理论》,《纯粹逻辑和应用逻辑年鉴》,88,149-164(1997)·Zbl 0897.03036号
[13] Wagner,F.O.,《简单理论》(2000),Kluwer学术出版社·Zbl 0948.03032号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。