×
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔，简

局部紧致有序空间的McKinsey-Tarski定理。 （英语） Zbl 1483.54016号

牛。符号。日志。 27，第2期，187-211（2021）.
拓扑空间（X）的模态逻辑（mathsf{L}（X））是一组有效的模态公式，其中方框是内部的，菱形是闭包。麦肯锡-塔斯基定理说，任何没有孤立点的可度量空间的模态逻辑都是{S} 4个\). 已知该定理的各种类似物。本文的主要结果，定理3.12，将McKinsey-Tarski定理推广到任何无孤立点的非空局部紧空间，即GO-空间，即来自线性序的拓扑空间的子空间。是否可以去除局部压实度是公开的。然后定理5.10计算每个非空局部紧GO空间的（mathsf{L}（X））。
审核人：贾科莫·伦齐（费西亚诺）

MSC公司：

54个F05 线性序拓扑空间、广义序空间和偏序空间
54D45号 局部紧性，\（\σ\）-紧性
03B45号 模态逻辑（包括规范逻辑）
54国集团12 分散的空间
03B55号 中间逻辑

关键词：

模态逻辑;拓扑语义学;线性序空间;广义序空间;局部紧空间;分散的空间
PDF格式BibTeX公司 XML格式引用
\textit{G.Bezhanishvili}等人，公牛。符号。日志。27，第2号，187--211（2021；Zbl 1483.54016）
全文： 内政部

参考文献：

[1] Abramsky，S.，《逻辑形式的领域理论》，《纯粹与应用逻辑年鉴》，第51卷（1991年），第1-2期，第1-77页·Zbl 0737.03006号
[2] Baltag，A.、Bezhanishvili，N.、ØzgüN，A.和Smets，S.，《合理信念和证据拓扑、逻辑、语言、信息和计算第23届国际研讨会》，WoLLIC（VääNänen，J.A.、Hirvonen，An.和De Queiroz，R.J.G.B.，编辑），《计算机科学讲义》，第9803卷，纽约斯普林格，2016年，第83-103页·Zbl 1478.03022号
[3] Baltag，A.、Gierasimczuk，N.和Smets，S.，《归纳问题的可解性：认知拓扑学研究》，《第十五届理性与知识理论方面会议论文集》，ENTCS，2015年，第81-98页·Zbl 1483.68367号
[4] Bezhanishvili，G.，Bezhanisvili，N.，Lucero-Bryan，J.和Van Mill，J.，模态逻辑中的Krull维度。《符号逻辑杂志》，第82卷（2017年），第4期，第1356-1386页·Zbl 1421.03007号
[5] Bezhanishvili，G.，Bezhanishvili，N.，Lucero Bryan，J.和Van Mill，J.，麦肯锡-塔斯基定理的新证明。Studia Logica，第106卷（2018），第1291-1311页·Zbl 1437.03084号
[6] Bezhanishvili，G.、Bezhanisvili，N.、Lucero-Bryan，J.和Van Mill，J.，《关于分散局部紧Hausdorff空间产生的模态逻辑》。《纯粹与应用逻辑年鉴》，第170卷（2019），第5期，第558-577页·Zbl 1472.03015号
[7] Bezhanishvili，G.、Bezhanisvili，N.、Lucero-Bryan，J.和Van Mill，J.，《拓扑和模态逻辑中的树状结构》。《数理逻辑档案》，第60卷（2021年），第265-299页·Zbl 1500.03005号
[8] Bezhanishvili，G.、Bezhanisvili，N.、Lucero-Bryan，J.和Van Mill，J.，通过模态逻辑表征可测量基数的存在。符号逻辑杂志，2021，doi:10.1017/jsl.2021.5·Zbl 1529.03142号
[9] Bezhanishvili，G.、Gabelaia，D.和Lucero-Bryan，J.，《度量空间的模态逻辑》。《符号逻辑评论》，第8卷（2015年），第1期，第178-191页·Zbl 1371.03022号
[10] Bezhanishvili，G.和Gehrke，M.，S4相对于实线的完整性：重新审视。《纯粹和应用逻辑年鉴》，第131卷（2005年），第1-3期，第287-301页·Zbl 1066.03032号
[11] Bezhanishvili，G.和Harding，J.，《石头空间的模态逻辑》。订单，第29卷（2012年），第2号，第271-292页·Zbl 1259.03030号
[12] Brecht，M.和Yamamoto，A.，概念空间的拓扑性质。《信息与计算》，第208卷（2010年），第4期，第327-340页·Zbl 1192.68428号
[13] Ceder，J.G.，《关于最大可解空间》。《数学基础》，第55卷（1964年），第87-93页·Zbl 0139.40401号
[14] Chagrov，A.和Zakharyaschev，M.，《模态逻辑》，牛津大学出版社，牛津，1997年·Zbl 0871.03007号
[15] Eckertson，F.W.，可解，非最大可解空间。《拓扑学及其应用》，第79卷（1997年），第1-11页·Zbl 0918.54035号
[16] Engelking，R.，《一般拓扑》，赫尔德曼·弗拉格出版社，柏林，1989年·Zbl 0684.54001号
[17] 爱沙尼亚州古堡。，Ledent，J.和Rajsbaum，S.，动态认知逻辑研究分布式任务可计算性的简单复杂模型，第九届国际游戏、自动机、逻辑和形式验证研讨会论文集，理论计算机科学电子论文集，第277卷，2018年，第73-87页·Zbl 1497.03032号
[18] Herlihy，M.、Kozlov，D.和Rajsbaum，S.，《通过组合拓扑进行分布式计算》，Elsevier/Morgan Kaufmann，Waltham，MA，2014年·Zbl 1341.68004号
[19] Herrlich，H.，Ordnungsfähigkeit total-diskontinuierlicher Räume。《数学年鉴》，第159卷（1965年），第77-80页·兹伯利0136.19804
[20] Hewitt，E.，集合论拓扑的一个问题。《杜克数学杂志》，第10卷（1943年），第309-333页·Zbl 0060.39407号
[21] Illanes，A.，有限和\（\omega\）-可分辨性。《美国数学学会学报》，第124卷（1996年），第4期，第1243-1246页·Zbl 0856.54010号
[22] Johnstone，P.T.，《石头空间》，剑桥大学出版社，剑桥，1982年·Zbl 0499.54001号
[23] Lutzer，D.J.，《关于广义有序空间》，论文Mathematicae Rozprawy Matematyczny，第89卷，Instytut Matematyckny Polskiej Akademi Nauk，华沙，1971年·Zbl 0228.54026号
[24] Mckinsey，J.C.C.和Tarski，A.，《拓扑代数》。《数学年鉴》，第45卷（1944年），第141-191页·Zbl 0060.06206号
[25] 奥兹根，A.，《认知逻辑中的证据：拓扑视角》，ILLC博士论文，阿姆斯特丹大学和洛林大学，2017年。
[26] Rasiowa，H.和Sikorski，R.，《元数学的数学》，Monografie Matematyczne，Tom 41，Pa an stwowe Wydawnictow Naukow，华沙，1963年·Zbl 0122.24311号
[27] Semadeni，Z.，《连续函数的巴拿赫空间》，第一卷，PWN-Polish Scientific Publishers，华沙，1971年·Zbl 0225.46030号
[28] Telgársky，R.，《全仿紧性与仿紧离散空间》。波兰科学院公报，《数学、天文学和物理学丛书》，第16卷（1968年），第567-572页·Zbl 0164.53101号
[29] Vickers，S.，《逻辑拓扑》，剑桥大学出版社，剑桥，1989年·Zbl 0668.54001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。