The modal logic of forcing

被引：0
|
作者：
Hamkins, Joel David [2 ]
Loewe, Benedikt [1 ]
机构：
[1] Univ Amsterdam, Insrt Log Language & Computat, NL-1018 TV Amsterdam, Netherlands
[2] CUNY Coll Staten Isl, Staten Isl, NY 10314 USA
来源：
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 2008年 / 360卷 / 04期
基金：
美国国家科学基金会;
关键词：
forcing; modal logic; S4.2;
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some forcing extension, and necessary, written square psi, if psi holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.
引用
收藏
页码：1793 / 1817
页数：25
相关论文
共 50 条
12345