强制的模态逻辑
摘要：集合论中与可力性和真实相关的最一般原则是什么？与Solovay关于可证性的著名分析类似，这个问题及其答案都可以用模态逻辑自然地表述。我们的目标是像Solovay那样对可力性进行处理。如果在某个强制扩张中psi成立，则集合论断言psi是可力的或可能的；如果在所有强制扩张中psi成立，则psi是必然的。在这种强制解释的模态逻辑中，我们证明了如果ZFC是一致的，那么可证明的强制原则恰好是在模态理论S4.2中已知的那些。
作者：Joel David Hamkins (The City University of New York), Benedikt Loewe (Universiteit van Amsterdam, ILLC)
论文ID：math/0509616
分类：Logic
分类简称：math.LO
提交时间：2007-05-23