×
托比·梅多斯

什么是限制性理论？ （英语） Zbl 07827528号

版本符号。日志。 17，编号1，67-105（2024）.
小结：在为数学奠定良好基础的过程中，集合理论家往往致力于发展尽可能强大的理论，并避免那些对拥有力量的能力施加不当限制的理论。例如，在（ZFC）中添加一个可测量基数被认为比添加（V=L）给出了一个更强的理论，而后者被认为比前者更具限制性。这种账户风格的两个主要支持者是佩内洛普·麦迪和约翰·斯蒂尔。在本文中，我将提供第三种解释，其目的是基于理论范畴中收缩的代数概念对限制性进行简单分析。我还将提供一些结果和论点，这些结果和论点表明，分析限制性的一些看似合理的替代方法并不符合他们的直觉动机。

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
03E40型 强制和布尔值模型的其他方面
第3页第45页 内部模型，包括可构造性、顺序可定义性和核心模型
03E55型 大型红衣主教

关键词：

集合论哲学；相对解释；集合论；强制
PDF格式BibTeX公司 XML格式引用
\textit{T.Meadows}，版本符号。日志。17，编号1，67--105（2024；Zbl 07827528）
全文： DOI程序
OA许可证

参考文献：

[1] Aczel，P.（1988年）。非井基集。CSLI课堂讲稿。斯坦福：斯坦福大学·Zbl 0668.04001号
[2] Enayat，A.（2016）。维塞里主题变奏曲，In van Eijk J.、Iemhoff R.和Joosten J.编辑。Liber Amicorum Alberti，向Albert Visser致敬。伦敦：学院出版物，第99-110页·Zbl 1418.03147号
[3] Enayat，A.、Schmerl，J.H.和Visser，A.（2011年）。有限集理论的ω模型。逻辑课堂讲稿。在Kennedy，J.和Kossak，R.的编辑中。集合论、算术和数学基础。纽约：剑桥大学出版社，第43-65页·Zbl 1261.03121号
[4] Feferman，S.（1999）。数学需要新的公理吗？《美国数学月刊》，6401-446·Zbl 0977.03002号
[5] Feferman，S.、Friedman，H.M.、Maddy，P.和Steel，J.R.（2000）。数学需要新的公理吗？符号逻辑公报，6（4），401-446·Zbl 0977.03002号
[6] Foreman，M.和Kanamori，A.（2009年）。集合论手册。多德雷赫特：施普林格。可从以下位置获得：https://books.google.com.au/books？id=DLCyehuI0i0C。
[7] 弗里德曼·H（1973）。经典集合论相对于直觉逻辑集合论的一致性。符号逻辑期刊，38（2），315-319·Zbl 0278.02045号
[8] Hamkins，J.D.（2013）。对可建构性公理的多元宇宙观点。在Chong，C.、Feng，Q.、Slaman，T.A.和Woodin，W.H.的编辑中。无限与真理。新加坡国立大学数学科学研究所讲座笔记系列，第25卷。新加坡：《世界科学》，第25-45页·Zbl 1321.03061号
[9] Hamkins，J.D.和Seabold，D.E.（2012年）。资金充足的布尔超能力作为大型基数嵌入。预印，arXiv:1206.6075v1。
[10] Incurvati，L.，&Löwe，B.（2016）。相对于解释概念的限制。符号逻辑综述，9（2），238-250·Zbl 1381.03009号
[11] Jech，T.（2003）。集合论。海德堡：施普林格·Zbl 1007.03002号
[12] Kanamori，A.（2003年）。更高的无限：集合论中的大基数。柏林：斯普林格·Zbl 1022.03033号
[13] Lindström，P.（2003）。不完整的方面。逻辑课堂笔记，第10卷。乌尔班纳：Taylor&Francis·Zbl 1036.03002号
[14] Maddy，P.（1997）。数学中的自然主义。牛津奖学金在线。哲学模块。牛津：克拉伦登出版社·Zbl 0931.03003号
[15] Mansfield，R.和Weitkamp，G.（1985）。描述性集合理论的递归方面。牛津逻辑指南。纽约：牛津大学出版社·Zbl 0655.03032号
[16] Martin，D.A.和Steel，J.R.（1994年）。迭代树。美国数学学会杂志，7（1），1-73·Zbl 0808.03035号
[17] Mitchell，W.（1972年）。布尔拓扑学和集合论。《纯粹与应用代数杂志》，2（3），261-274·Zbl 0245.18001号
[18] Osius，G.（1974）。范畴集理论：集合范畴的一个特征。《纯粹与应用代数杂志》，4（1），79-119·Zbl 0282.02027号
[19] Sargsyan，G.（2013）。描述性内模理论。符号逻辑公报，19（1），1-55·Zbl 1307.03030号
[20] Schatz，J.（2019）。公理选择与最大化：强迫公理vs.V=终极L.博士论文，加州大学欧文分校。
[21] Scott，D.（1961年）。更多关于延展性公理的内容，请参阅《关于数学基础的论文》，该文在A.H.Fraenkel教授70岁生日时发表。耶路撒冷：马格纳斯出版社，希伯来大学，第115-131页·Zbl 0199.01403号
[22] Steel，J.R.（2014）。哥德尔的计划。J.肯尼迪，编辑。解读哥德尔：评论文章。剑桥：剑桥大学出版社·Zbl 1358.03007号
[23] Steel，J.R.（2017）。核心模型的可重复性问题。逻辑讲义。柏林：剑桥大学出版社。
[24] Visser，A.（2006年）。理论和解释的分类，德黑兰的逻辑。在10月18日至22日举行的逻辑、代数和算术研讨会和会议记录中，第284-341页·Zbl 1107.03066号
[25] Visser，A.（2017）。关于Q.软计算，21（1），39-56·Zbl 1420.03143号
[26] Woodin，W.H.（2017）。寻找终极L：第19届Midrasha数学讲座。符号逻辑公报，23（1），1-109·Zbl 1420.03134号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。