（额外篇章）逻辑文章 (13-11)

9

弗雷格，G.1884/1980。《算术基础》，第二版，文·J·L·奥斯汀。

西北大学出版社。

弗雷格，G.1893/2013。《算术基本定律》，卷I-II，tr.和编辑P.Ebert，

M.Rossberg、C.Wright和ok。牛津大学出版社。

哥德尔，K.，1931年。论数学原理的形式不可解命题?ica及其相关系统I.哥德尔（Gödel，1986），《文集》第一卷，S。

Feferman、J.Dawson、S.Kleene、G.Moore、R.Solovay和J.van Heijenoort。

牛津大学出版社。

哥德尔，K.，1946年。在普林斯顿大学Prob二百周年大会上的讲话?数学硕士。在哥德尔（1990），文集，第二卷，S.Fe编辑?ferman、J.Dawson、S.Kleene、G.Moore、R.Solovay和J.van Heijenoort。

牛津大学出版社。

Halbach，V.和A.Visser。2014.算术中的自我参照I.Sym综述?玻利维亚逻辑，7:4。

霍桑，J.2010。Metamedicitor看埃弗雷特解读。在S。

桑德斯、J·巴雷特、A·肯特和D·华莱士（编辑），《许多世界？埃弗雷特，

量子理论和现实。牛津大学出版社。

Henkin，L.、J.D.Monk和A.Tarski。1971.圆柱代数，第一部分，北?荷兰

Jech，T.2003。《Set Theory》第3版，千年版，施普林格出版社。

Kanamori，A.2007。哥德尔和集合论。符号逻辑公报，13:2。

Kanamori，A.2008。科恩和集合论。符号逻辑公报，14:3。

Kanamori，A.2012，A。大红雀与强迫。在D.Gabbay，A.Kanamori，

和J.Woods（编辑），逻辑史手册：

二十世纪。爱思唯尔。

Kanamori，A.2012，b。从康托尔到科恩的集合论。在D.Gabbay，A。

Kanamori和J.Woods（编辑），逻辑史手册：集合和

二十世纪的扩展。爱思唯尔。

Koellner，P.2010。关于一阶和二阶强逻辑。的公告

符号逻辑，16:1。

Koellner，P.2013。大型红雀和确定性。斯坦福百科全书

哲学

Koellner，P.和W.H.Woodin。2010年，《决定性的大红雀》。在M中。

Foreman和A.Kanamori（编辑），《集合论手册》，第3卷。施普林格。

Kurz，A.和A.Palmigiano。2013.代数的认识论更新。必然的

计算机科学方法，9:4:17。

Lando，T.2015。一阶S4及其测度论语义。的年鉴

《纯粹与应用逻辑》，166。

Leach Krouse，G。Ω-模态逻辑的结果解释。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。