陈磊;施念东;吴国华 Stone代数中的可定义集。 （英语） Zbl 1359.03031号 架构（architecture）。数学。逻辑 55，5-6号，749-757（2016）. 本文研究Stone代数的可定义集。引入格序结构的伪o-极小性概念，证明了Stone代数理论的完备性是伪o-最小的。Thy还研究了Stone代数的分解，并证明Stone代数中的任何可定义集都是有限多个不相交伪区间的并集。审核人：Beibut Kulpeshov（阿拉木图） 理学硕士： 03C64号 有序结构的模型理论；o极小性 2015年1月6日 伪补格 03C40号 插值、保存、可定义性 关键词：伪o极小;斯通代数;伪补格;格序结构;连通子集 PDF格式BibTeX公司 XML格式引用 \textit｛L.Chen｝等人，Arch。数学。逻辑55，No.5--6，749--757（2016；Zbl 1359.03031） 全文： 内政部 参考文献： [1] 鲍德温，J.，拉克伦，H.：关于强极小集。J.塞姆。逻辑36，79-96（1971）·兹比尔0217.30402 ·doi:10.2307/2271517 [2] Lou van den Dries：缓和拓扑和o-极小结构。剑桥大学出版社，剑桥（1998）·Zbl 0973.03051号 [3] Pillay，A.，Steinhorn，C.：有序结构中的可定义集合III.翻译。AMS 309、469-476（1988）·Zbl 0707.03024号 ·doi:10.1090/S0002-9947-1988-0943306-9 [4] Knight，J.，Pillay，A.，Steinhorn，C.：有序结构中的可定义集合II。事务处理。AMS 295、593-605（1986）·Zbl 0662.03024号 ·doi:10.1090/S0002-9947-1986-0833698-1 [5] Newelski，L.，Wencel，R.：布尔序o-极小结构中的可定义集I.J.Symb。逻辑661821-1836（2001）·Zbl 1001.03038号 ·doi:10.2307/2694978 [6] Wencel，R.：布尔序o-极小结构中的可定义集II。J.塞姆。逻辑68，35-51（2003）·Zbl 1043.03033号 ·doi:10.2178/jsl/1045861505 [7] Wencel，R.：布尔序o-极小结构的小理论。J.塞姆。逻辑671385-1390（2002）·Zbl 1043.03032号 ·doi:10.2178/jsl/1190150291 [8] Toffalori，C.：格序o-极小结构。圣母院J.Form.Logic 39，447-463（1998）·Zbl 0973.03051号 ·doi:10.1305/ndjfl/1039118862 [9] Schmitt，P.：Stone代数的模型完成。科学年鉴。克莱蒙特大学13，135-155（1976）·Zbl 0352.02040号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。