×
贾格尔，格哈德

相对论运算集理论。 （英语） Zbl 1432.03127号

牛市。符号。日志。 22，第3号，332-352（2016）.
小结：我们介绍了一种将运算集理论相对化的方法，该方法也考虑了应用。在介绍了基本方法并证明了这种新形式的相对化的一些基本性质之后，我们转向相对化正则性的概念和系统OST（LR），该系统通过极限公理扩展OST，声称任何集合都是相对化正则集的元素。最后，我们证明了OST（LR）在证明理论上等价于递归不可访问宇宙的著名理论KPi。

引用于2文件

MSC公司：

03楼50 构造系统的元数学
35层03 相对一致性和解释
03E70型 非经典和二阶集合论
03财年03 一般证明理论（包括证明理论语义）

关键词：

运算集理论;克里普克-普拉克集合论;证明理论
PDF格式BibTeX公司 XML格式引用
\textit{G.Jäger}，公牛。符号。日志。22，第3号，332--352（2016；Zbl 1432.03127）
全文： DOI程序 链接

参考文献：

[1] 巴怀斯克。J.，《可容许集与结构，数学逻辑中的观点》，第7卷，施普林格出版社，柏林，海德堡，纽约，1975年·Zbl 0316.02047号
[2] 比森。J.，《建构数学基础：元数学研究》，Ergebnisse der Mathematik und ihrer Grenzgebiete，第3/6卷，施普林格，柏林，海德堡，纽约，东京，1985年·Zbl 0565.03028号
[3] 坎蒂尼亚。，用非指示性原则扩展构造运算集理论。《数学逻辑季刊》，第57卷（2011年），第3期，第299-322.10.1002/malq.201010009页·Zbl 1231.03054号 ·doi:10.1002/malq.201010009
[4] 坎蒂尼亚。和CrosillaL。，建构集理论与运算，2004年逻辑学术讨论会（AndrettaA.，KearnesK.，and ZambellaD.，编辑），《逻辑讲义》，第29卷，剑桥大学出版社，2007年，第47-83.10.1017/CBO9780511721151.005页·doi:10.1017/CBO9780511721151.005
[5] 坎蒂尼亚。和CrosillaL。，初等构造运算集理论，《证明理论的方法》（SchindlerR.，编辑），《Ontos数理逻辑》，第2卷，De Gruyter，法兰克福，2010年，第199-240页·Zbl 1261.03149号
[6] 费费曼S。，显式数学、代数和逻辑的语言和公理（CrossleyJ.N.，编辑），数学讲义，第450卷，施普林格，柏林，海德堡，纽约，1975年，第87-139页·Zbl 0357.02029号
[7] [7] 费费曼S。，操作集理论注释，I.经典和容许集理论中“小”大基数的推广，技术注释，2001年。
[8] 费费曼S。，操作集理论和小型大型基数。《信息与计算》，第207卷（2009年），第971-979.10.1016/j.ic.2008.04.007页·Zbl 1183.03044号 ·doi:10.1016/j.ic.2008.04.007
[9] [9] JägerG。，Die konstruktible Hilfsmittel zur beweistheetischen Untersuchung von Teilsystemen der Mengenlehre und Analysis，慕尼黑大学数学研究所博士论文，1979年·Zbl 0449.03057号
[10] 贾格尔。，费费曼理论T_0的一个有序证明。Archiv für Mathematische Logik und Grundlagenforschung，第23卷（1983年），第1期，第65-77.10.1007/BF02023014页·Zbl 0511.03025号 ·doi:10.1007/BF02023014
[11] 贾格尔。，可容许集理论：证明理论的统一方法，《证明理论研究》，讲稿，第2卷，那不勒斯图书馆，1986年·Zbl 0638.03052号
[12] 贾格尔。，论费费曼的运算集理论OST。《纯粹与应用逻辑年鉴》，第150卷（2007），第1-3期，第19-39.10.1016/j.apal.2007.09.001页·Zbl 1136.03038号 ·doi:10.1016/j.apal.2007.09.001
[13] 贾格尔。，具有无界存在量化和幂集的全运算集理论。《纯粹和应用逻辑年鉴》，第160卷（2009），第1期，第33-52.10.1016/j.apal.2009.010页·Zbl 1175.03037号 ·doi:10.1016/j.apal.2009.01.010
[14] 贾格尔。，《第十三届国际大会的操作、集合和课堂、逻辑、方法论和科学哲学——进程》（GlymourC.、WeiW.和WesterstáhlD.编辑），大学出版社，伦敦，2009年，第74-96页·Zbl 1419.03049号
[15] 贾格尔。，操作关闭和稳定性。《纯粹与应用逻辑年鉴》，第164卷（2013），第7-8期，813-821.10.1016/j.apal.2013.01.004·Zbl 1315.03090号 ·doi:10.1016/j.apal.2013.01.004
[16] JägerG。和PohlersW。，Eine Beweishetheoryetische Untersuchung von<！[CDATA\（[\left（{{rm{\Delta}}_2^1-CA}\right）+\left。Sitzunsberichte der Bayerischen Akademie der Wissenschaften，Mathematisch-Naturwissenschaffliche Klasse（1982），第1-28页·兹伯利0526.03035
[17] 贾格尔。和ZumbrunnenR。，关于操作规则的强度，《逻辑、构造、计算》（BergerU、DienerH、SchusterP和SeisenbergerM编辑），《Ontos数学逻辑》，第3卷，德格鲁特，法兰克福，2012年，第305-324页·Zbl 1318.03054号
[18] [18] 贾格尔。和ZumbrunnenR。，《显式数学和运算集理论：一些本体论比较》，《公告》，第20卷（2014年），第3期，第275-292页·Zbl 1345.03112号
[19] 库南克。，集合论。《独立性证明导论》，《逻辑研究与数学基础》，第102卷，爱思唯尔出版社，阿姆斯特丹，纽约，1980年·Zbl 0443.03021号
[20] [20] 概率D。，《没有基础和显式数学的容许集理论中的伪层次论》，伯尔尼大学信息与数学研究所博士论文，2005年。
[21] 特洛伊斯特拉。S.和van DalenD。，数学中的建构主义，I，《逻辑研究和数学基础》，第121卷，爱思唯尔，阿姆斯特丹，纽约，1988年·Zbl 0653.0304号
[22] [22]Zumbrunnen右。，《对运算集理论的贡献》，伯尔尼大学信息与数学研究所博士论文，2013年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。