×

以(sigma)为中心的强制和相关强制类的模态逻辑。 (英语) Zbl 07370806号

摘要:我们认为情态“(\varphi)在每一个以(\sigma)为中心的强制扩展中都是真的”,表示为“(\square\varphi\)”,其对偶形式“(\valphi\)在某些以(\sigma)为中心的强制扩展中是真的,表示为(\lozenge\varphi_)(其中,\(\varfi\)是集合论中的一个语句),这就产生了(sigma)中心强迫原理.我们证明了如果ZFC是一致的,则以(σ)为中心的强迫的模态逻辑,即以(∑)为核心的强迫的ZFC可证明原理,正好是(σ{S4.2})。我们还将这个结果推广到其他相关的强迫类。

MSC公司:

03E40型 强制模型和布尔值模型的其他方面
03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Barnett,J.H.,《马丁公理的弱变体》。《数学基础》,第141卷(1992年),第1期,第61-73页·兹比尔0809.03041
[2] U.Ben Ari Tishler(现Ya’ar),以(\boldsymbol{\sigma})为中心的强迫和相关强迫类的模态逻辑,硕士论文,耶路撒冷希伯来大学,2016年。
[3] Blackburn,P.、De Rijke,M.和Venema,Y.,模态逻辑,《剑桥理论计算机科学丛书》,第53卷,剑桥大学出版社,剑桥,2001年·Zbl 0988.03006号
[4] Błaszczyk,A.和Shelah,S.,完全布尔代数的正则子代数,本期刊,第66卷(2001),第2期,第792-800页·Zbl 0992.06013号
[5] Hamkins,J.D.、Leibman,G.和Löwe,B.,强制类及其模态逻辑之间的结构连接。以色列数学杂志,第207卷(2015年),第2期,第617-651页·Zbl 1367.03095号
[6] Hamkins,J.D.和Linnebo,Ø。,集理论电势的模态逻辑与电势最大值原理,arXiv预印本,2017,arXiv:1708.01644
[7] Hamkins,J.D.和Löwe,B.,强迫的模态逻辑。《美国数学学会学报》,第360卷(2008年),第4期,第1793-1817页·Zbl 1139.03039号
[8] Hamkins,J.D.和Löwe,B.,《在通用多元宇宙中上下移动》,《逻辑及其应用》,《计算机科学讲义》,第7750卷,施普林格,海德堡,2013年,第139-147页·Zbl 1303.03078号
[9] Inamdar,T.C.,《关于某些集合理论结构的模态逻辑》,M.Sc.论文,阿姆斯特丹大学,2013年。
[10] Jensen,R.B.和Solovay,R.M.,《几乎不相交集的一些应用》,《数理逻辑与集合论基础》(Bar-Hillel,Y.编辑),北荷兰,阿姆斯特丹,1970年,第84-104页·Zbl 0222.02077号
[11] Kunen,K.,《集合论,逻辑研究》,第34卷,大学出版社,伦敦,2011年·Zbl 1262.03001号
[12] Piribauer,J.,《通用多重宇宙的模态逻辑》,理学硕士论文,阿姆斯特丹大学,2017年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。