高级搜索
1个文件| 422.22 KB 添加到列表

反射等级和顺序分析

(2021)符号逻辑杂志. 86(4).第1350-1384页
作者
组织机构
摘要
众所周知,自然公理理论是按一致性强度排序的。然而,就一致性强度而言,可以构建人工理论的下行链。我们通过研究一致性强度阶的粗化,即III反射强度阶,来解释这种有序性现象。我们证明了在这个顺序中,ACA0的III音扩展没有降序。因此,我们可以将这个顺序的秩,我们称之为反射秩,附加到ACA0的任何III音扩展上。我们证明了对于任何扩展ACAloP的III声音理论T,T的反射秩等于T的III证明理论序数。我们还证明了迭代III反射的III证明理论序数是Ea。最后,我们使用我们的结果提供了基于反射原理的序数符号系统的简单而可靠的证明。
关键词
反射原理,序数分析,二阶算术,一阶算术,可证明代数,递减序列,原则,逻辑

下载

  • 1805.02095.pdf格式
    • 全文(已接受稿件)
    • |
    • 开放存取
    • |
    • PDF格式
    • |
    • 422.22 KB

引文

请使用此url引用或链接到此出版物:

百万美元
帕霍莫夫、费多尔和詹姆斯·沃尔什。“反射等级和顺序分析。”符号逻辑杂志第86卷,第4期,2021年,第1350–84页,doi:10.1017/jsl.2020.9。
亚太地区
Pakhomov,F.和Walsh,J.(2021)。反射等级和顺序分析。符号逻辑杂志,86(4), 1350–1384. https://doi.org/10.1017/jsl.2020.9
芝加哥作者日期
帕霍莫夫、费多尔和詹姆斯·沃尔什。2021.“反射等级和顺序分析”符号逻辑杂志86 (4): 1350–84. https://doi.org/10.1017/jsl.2020.9。
芝加哥作者日期(所有作者)
帕霍莫夫、费多尔和詹姆斯·沃尔什。2021.“反射等级和顺序分析”符号逻辑杂志86 (4): 1350–1384. doi:10.1017/jsl.2020.9。
温哥华
1
Pakhomov F,Walsh J.反射秩和序分析。符号逻辑杂志。2021;86(4):1350–84.
电气与电子工程师协会
[1]
F.Pakhomov和J.Walsh,“反射等级和有序分析”符号逻辑杂志,第86卷,第4期,第1350–1384页,2021年。
@第{8735651条,抽象={{众所周知,自然公理理论是按一致性强度排序的。然而,可以构建关于一致性强度的人工理论的下降链。我们通过研究一致性强度顺序的粗化,即III参考选择强度顺序。我们证明了在这个顺序中,ACA0的III音扩展没有降序。因此,我们可以将这个顺序的秩,我们称之为反射秩,附加到ACA0的任何III音扩展上。我们证明了对于任何III声音理论T扩展ACAloP,T的反射秩等于T的III证明理论序数。我们还证明了迭代III反射的III证明定理序数是Ea。最后,我们使用我们的结果提供了基于反射原理的序数表示法系统的简单而可靠的证明。}},articleno={{PII S0022481220000092}},author={{Pakhomov,Fedor和Walsh,James}},issn={{0022-4812}},journal={符号逻辑期刊}},关键词={{反射原理、序数分析、二阶算术、一阶算术、可证明代数、下降序列、原理、逻辑}},语言={{eng}},数字={{4}},页码={{PII S0022481220000092:1350--PII S0224812200000092:1384}},title={{反射等级和顺序分析}},url={{http://doi.org/10.1017/jsl.2020.9}},体积={{86}},年份={2021}},}
海拔高度
在Altmetric中查看
科学网
引用次数: