×
彼得·科勒纳

关于反思原则。 （英语） Zbl 1162.03030号

Ann.纯粹应用。逻辑 157，编号2-3，206-219（2009）.
摘要：哥德尔发起了一个发现公理并证明其合理性的项目，该公理显著减少了不完整性，他对内在和外在的合理性进行了根本区分。反射原理是最有希望的候选新公理，这些公理在本质上是合理的。以泰特关于一般反射原理的工作为出发点，我们证明了关于这种方法的一系列限制性结果。这些结果共同表明，一般反射原理要么是弱的（因为它们相对于Erd的基数（\kappa（\omega））是一致的），要么是不一致的。讨论了这些结果的哲学意义。

引用于1审查
引用于25文件

MSC公司：

03E55型 大型红衣主教

关键词：

不完全性；大基数公理；反射原理
PDF格式BibTeX公司 XML格式引用
\textit{P.Koellner}，Ann.纯苹果。逻辑157，编号2--3，206-219（2009；Zbl 1162.03030）
全文： 内政部

参考文献：

[1] Feferman，S.，《反思不完全性》，《符号逻辑杂志》，56，1-49（1991）·Zbl 0746.03046号
[2] 哥德尔，什么是康托尔的连续体问题？中：[4]；哥德尔，什么是康托连续统问题？中：[4]·Zbl 0038.03003号
[3] 哥德尔，什么是康托连续统问题？中：[4]；哥德尔，什么是康托连续统问题？在：[4]·Zbl 0038.03003号
[4] Gödel，K.，《作品集》，第二卷出版物1938-1974（1990），牛津大学出版社：牛津大学出版社，纽约，牛津·Zbl 0698.01023号
[5] P.Koellner，《寻找新公理》，麻省理工学院博士论文，2003年；P.Koellner，《寻找新公理》，麻省理工学院博士论文，2003年
[6] Koellner，P.，《关于绝对不可判定性的问题》，《数学哲学》，第14、2、153-188页（2006年）·Zbl 1113.03011号
[7] P.Koellner，H.Woodin，不相容\（\欧米茄\）；P.Koellner，H.Woodin，不兼容\（\欧米茄\）·Zbl 1192.03036号
[8] Martin，D.A.，哥德尔的概念实在论，《符号逻辑公报》，11，2，207-224（2005）·Zbl 1106.03003号
[9] 马丁·D·A。；Steel，J.R.，射影确定性的证明，美国数学学会杂志，2，1，71-125（1989）·Zbl 0668.03021号
[10] 帕森斯，C.，《库尔特·哥德尔思想中的柏拉图主义和数学直觉》，《符号逻辑公报》，第1期，第44-74页（1995年）·Zbl 0840.00006
[11] 帕森斯，C.，《理性与直觉，综合》，125，299-315（2000）
[12] 莱因哈特（W.Reinhardt），集合论的元数学主题，博士论文，加州大学伯克利分校，1967年；W.Reinhardt，集合论的元数学主题，博士论文，加州大学伯克利分校，1967年
[13] Reinhardt，W.，《关于反射原理、大基数和初等嵌入的评论》（《纯粹数学研讨会论文集》，第10卷（1974）），189-205·Zbl 0325.02048号
[14] Tait，W.W.，集的迭代层次，Iyyun，39，January，65-79（1990）
[15] Tait，W.W.，《集合论基础》（Dales，H.G.O.，《数学中的真理》（1998），牛津大学出版社），273-290·Zbl 0935.03065号
[16] Tait，W.W.，Zermelo关于集合和反射原理的概念，（Schirn，M.，《今日数学哲学》（1998），克拉伦登出版社：牛津克拉伦登出版公司），469-483·Zbl 0916.03003号
[17] Tait，W.W.，哥德尔关于数学基础的未发表论文，《数学哲学》，9，87-126（2001）·Zbl 0990.03001号
[18] W.W.Tait，从下面构造基数，in：[19]；W.W.Tait，从下面构造基数，in：[19]
[19] Tait，W.W.，《纯粹理性的起源：数学哲学及其历史随笔》（2005），牛津大学出版社·Zbl 1111.00006号
[20] Wang，H.，《大集合》（Butts，Hintikka，Logic，Foundations of Mathematics，and Computability Theory（1977），D.Reidel Publishing Company:D.Reide Publishing Company Dordrecht-Holland），309-333
[21] Wang，H.，《逻辑之旅：从哥德尔到哲学》（1996），麻省理工出版社·Zbl 0978.03500号
[22] Woodin，W.H.，《射影均匀化的一致性强度》，（Stern，J.，《赫布兰德研讨会论文集》，《逻辑学术讨论会》81（1982），荷兰北部：荷兰阿姆斯特丹北部），365-383·Zbl 0544.03024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。