×

相对论序数分析:幂Kripke-Platek集理论的例子。 (英语) Zbl 1348.03055号

小结:本文将克里普克-普拉特克集合理论发展的序数分析方法与具有幂集公理的理论进行了比较。我们表明,可以使用此技术提取关于幂Kripke-Platek集理论的信息,(mathbf{KP}(mathcalP))。
作为一个应用程序,它表明,每当(mathbf{KP}(mathcal P)+mathbf}AC})证明一个(Pi_2^{mathcal P})语句时,它在von Neumann层次结构的段(Vtau)中成立,其中(tau)代表Bachmann-Howard序数。

MSC公司:

2015年1月3日 递归序数和序数符号
03财年03 一般证明理论(包括证明理论语义)
05年3月 切割消除和正规形定理
35楼03号 二阶和高阶算术和片段
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Arai,T.,\(\Pi_3\)-反射的序数图,符号逻辑,65,3,1375-1394(2000)·Zbl 0979.03043号
[2] Arai,T.,序数理论的证明理论I:递归Mahlo序数,Ann.Pure Appl。逻辑,122,1-85(2003)·Zbl 1032.03049号
[3] Arai,T.,序数理论的证明理论II:\(\Pi_3\)-反射,Ann.Pure Appl。逻辑,129,39-92(2004)·Zbl 1057.03050号
[5] Barwise,J.,《可容许集与结构》(1975),施普林格出版社:柏林施普林格·Zbl 0316.02047号
[6] Buchholz,W.,局部预测性的简化版本,(Aczel,P.;Simmons,H.;Wainer,S.,Leeds Proof Theory 1991(1993),剑桥大学出版社:剑桥大学出版社),115-147·Zbl 0795.03078号
[7] Friedman,H.,Kleene方法在直觉主义系统中的一些应用,(Mathias,A.;Rogers,H.),剑桥数学逻辑暑期学校,数学讲义,第337卷(1973),Springer:Springer-Blin),113-170
[8] Friedman,H.,《集合论的可数模型》(Mathias,A.R.D.;Rogers,H.),剑桥数学逻辑暑期学校,1971年8月1日至21日。剑桥数学逻辑暑期学校,1971年8月1日至21日,施普林格数学讲义,第337卷(1973),施普林格:施普林格柏林),539-573
[9] 弗里德曼,H。;什切德罗夫,S.,《直觉集理论中缺乏可定义的见证和可证明的递归函数》,高等数学。,57,1-13(1985年)·Zbl 0585.03025号
[10] Jäger,G.,Zur Beweistheorie der Kripke-Platk Mengenlehreüber den natürlichen Zahlen,Arch。数学。日志。,22, 121-139 (1982) ·兹比尔0503.03014
[11] Jäger,G。;Pohlers,W.,Eine beweisetische Untersuchung von(Delta_2^1-CA+BI)und verwanter Systeme,(Sitzungsberichte der Bayerischen Akademie der Wissenschaften,Mathematisch-Naturwissenschaffliche Klasse(1982))
[12] Mac Lane,S.,《形式与功能》(1992),《施普林格:柏林施普林格》
[13] Mathias,A.R.D.,《麦克·莱恩集理论的力量》,《纯粹应用》。逻辑,110,107-234(2001)·Zbl 1002.03045号
[14] Pozsgay,L.,作为集合论基础的自由直觉主义,(公理集合论,Proc.Symp.Pure Math.XIII,Part 1(1971)),321-330·Zbl 0223.02003号
[15] 波茨盖,L.,《半教育集理论》,圣母院J.Form.Log。,13, 546-550 (1972) ·Zbl 0206.01003号
[16] Rathjen,M.,基于弱Mahlo基数的顺序符号,Arch。数学。逻辑,29249-263(1990)·Zbl 0709.03042号
[17] Rathjen,M.,KPM的验证理论分析,Arch。数学。逻辑,30377-403(1991)·Zbl 0727.03036号
[18] Rathjen,M.,Kripke-Platek集合论的碎片,(Aczel,P.;Wainer,S.;Simmons,H.,证明理论(1992),剑桥大学出版社),251-273·Zbl 0791.03031号
[19] Rathjen,M.,《如何基于可容许集开发证明理论序数函数》,数学。Q.,39,47-54(1993)·Zbl 0803.03036号
[20] Rathjen,M.,基于递归大序数的折叠函数:KPM的有序证明,Arch。数学。逻辑,33,35-55(1994)·Zbl 0805.03046号
[21] Rathjen,M.,《反射的证明理论》,Ann.Pure Appl。逻辑,68,181-224(1994)·Zbl 0813.03037号
[22] Rathjen,M.,序数分析的最新进展:(Pi_2^1)-CA和相关系统,Bull。符号逻辑,1468-485(1995)·Zbl 0855.03035号
[23] Rathjen,M.,《序数分析领域》(Cooper,S.B.;Truss,J.K.,《集合与证明》(1999),剑桥大学出版社),219-279·Zbl 0946.03069号
[24] Rathjen,M.,稳定性序数分析,Arch。数学。逻辑,44,1-62(2005)·兹比尔1068.03046
[25] Rathjen,M.,《无参数(Pi_2^1)理解的序数分析》,Arch。数学。逻辑,44,263-362(2005)·Zbl 1068.03047号
[26] Rathjen,M.,证明理论中的理论和序数,综合,148719-743(2006)·Zbl 1101.03034号
[27] Rathjen,M.,《从弱到强的存在性》,Ann.Pure Appl。逻辑,1631400-1418(2012)·Zbl 1259.03076号
[28] Rathjen,M.,《建构性Zermelo-Fraenkel集理论、幂集与建构演算》(Dybjer,P.;LindströM,S.;Palmgren,E.;Sundholm,G.,《认识论与本体论:以Per Martin-Löf为荣的数学哲学与基础论文》(2012),施普林格:施普林格-多德雷赫特,海德堡),313-349·Zbl 1312.03038号
[29] Schwichtenberg,H.,切割消除的一些应用,(Barwise,J.,《数学逻辑手册》(1977),北荷兰:北荷兰阿姆斯特丹),868-895
[30] Tharp,L.,《准直觉集理论》,J.符号逻辑,36,456-460(1971)·Zbl 0247.02055号
[31] Thiele,E.J.,《U.ber endlich公理》,《Teilsysteme der Zermelo-Fraenkel’s schen Mengenlehre,Z.Math》。日志。格兰德。数学。,14, 39-58 (1968) ·Zbl 0177.01401号
[32] Wolf,R.S.,《可判定有界谓词的形式直觉集理论》(1974年),斯坦福大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。