The Set-theoretic Multiverse : A Natural Context for Set Theory( Mathematical Logic and Its Applications)
暂无分享,去创建一个
[1] Richard Laver,et al. Certain very large cardinals are not created in small forcing extensions , 2007, Ann. Pure Appl. Log..
[2] Joel David Hamkins,et al. Extensions with the approximation and cover properties have no new large cardinals , 2003, math/0307229.
[3] Joel David Hamkins. A simple maximality principle , 2003, J. Symb. Log..
[4] Jonas Reitz. The ground axiom , 2007, J. Symb. Log..
[5] Joel David Hamkins,et al. The modal logic of forcing , 2005, math/0509616.
[6] Joel David Hamkins,et al. Some Second Order Set Theory , 2009, ICLA.
[7] Joel David Hamkins,et al. THE GROUND AXIOM IS CONSISTENT WITH V ≠ HOD , 2008 .