[11] 乔尔·大卫·哈姆金斯,集合论多元宇宙,符号评论逻辑,第5卷,(2012),416–449。
[12] Joel David Hamkins和Benedikt L¨owe,强迫的模态逻辑,《美国数学学会汇刊》第360卷第4期,(2008),1793–1817.
[13] 托马斯·杰奇,《集合论》,第三个千年版,施普林格出版社(2001/2006).
[14] 卡罗尔·卡普,《语言与无穷长的表达》,北荷兰,(1964).
[15] H.Jerome Keisler,无穷逻辑模型理论,北荷兰(1974).
[16] Kenneth Kunen,集合论,独立性证明导论,北荷兰(1980年)。
[17] Richard Laver,某些非常大的基数不是在小的强制中产生的扩展,《纯粹与应用逻辑年鉴》149(2007)1-6。
[18] Colin Jakob Rittberg,《论强迫的模态逻辑》,毕业论文,(2010).
[19] 约翰·R·斯蒂尔,G¨odel的程序,载于:朱丽叶·肯尼迪(编),《口译》G–Model:《评论随笔》,剑桥大学出版社(2014),153-179。
[20] Takeuti,《证明论》,第二版,北荷兰,(1987)。
[21]Toshimichi Usuba,向下定向的基态假说和大大型基数,预印本。
[22]Jouko V¨a¨ana¨an,《多元宇宙集合论与绝对不可解释命题》,载:Juliette Kennedy(编),《解释G模型:批判散文》,剑桥大学出版社(2014),180-208。
[23]W.Hugh Woodin,《康托连续统假说的最新进展》,载《哲学与数学连续统论文集》,2004年,嘉士伯学院,哥本哈根,2004年11月。
[24]W·休·伍丁,《无限的境界》,载于:迈克尔·海勒和休·伍丁主编:《无限:新的研究前沿》,剑桥大学出版社,2011年版。
[25]W.Hugh Woodin,连续统假说,广义多元宇宙集,以及Ω 猜想,见:J.Kennedy和R.Kossak(编辑),集合论,算术和数学基础,ASL逻辑学讲义,剑桥大学出版社(2011),13-42。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。