作者 -
大卫·费尔南德斯·杜克 ( 根特大学 ) , 乔斯特·J·乔斯顿 , 费多·帕霍莫夫 ( 根特大学 ) , 康斯坦蒂诺斯·帕帕菲利波 ( 根特大学 ) 和 安德烈亚斯·魏尔曼 ( 根特大学 ) 组织 项目 摘要 Japaridze的可证明逻辑（GLP）对每个自然数都有一种形式[n]，Beklemishev已将其用于Peano算术（PA）和相关理论的证明理论分析。 除其他优点外，该分析产生了所谓的Every Worm Dies（EWD）原理，这是一种独立于PA的自然组合语句。最近，Beklemishev和Pakhomov研究了GLP中对应于超限模态的可证明性概念。 我们证明了GLP的自然超限扩展确实适合于这种解释，并为具有完整归纳的算术理解的二阶理论ACA产生了独立的组合原理。 我们还提供了与PA片段I∑_n相关的EWD的限制版本。为了证明后者，我们证明了标准Hardy函数基于树序数优化其变体。 关键词 逻辑 , 硬件和架构 , 艺术与人文（杂项） , 软件 , 理论计算机科学 , 可证明逻辑 , 独立性结果 , 序数分析 , 反射原理 , 可证明代数 , 转印 , 归纳
下载
-
（…）.pdf格式 全文 （已发布版本） | 仅UGent | PDF格式 | 628.57 KB
引用
MLA公司 -
Fernández-Duque，David等人，《算术和超算术蠕虫之战》 逻辑与计算杂志 第32卷，第8期，2022年，第1558–84页，doi:10.1093/log.com/exac067。 亚太地区 -
Fernández-Duque，D.，Joosten，J.J.，Pakhomov，F.，Papafilippou，K.，&Weiermann，A.（2022）。 算术和超算术蠕虫大战。 逻辑与计算杂志 , 32 (8), 1558–1584. https://doi.org/10.1093/log.com/exac067 芝加哥作者日期 -
Fernández-Duque、David、Joost J Joosten、Fedor Pakhomov、Konstantinos Papafilippou和Andreas Weiermann。 2022.“算术和超算术蠕虫大战” 逻辑与计算杂志 32 (8): 1558–84. https://doi.org/10.1093/log.com/exac067。 芝加哥作者日期（所有作者） -
Fernández-Duque、David、Joost J Joosten、Fedor Pakhomov、Konstantinos Papafilippou和Andreas Weiermann。 2022.“算术和超算术蠕虫大战” 逻辑与计算杂志 32 (8): 1558–1584. doi:10.1093/log/exac067。 温哥华 -
1 Fernández Duque D、Joosten JJ、Pakhomov F、Papafilippou K、Weiermann A.算术和超算术蠕虫战。 逻辑与计算杂志。 2022; 32(8):1558–84. 美国电气工程师协会 -
[1] D.Fernández-Duque、J.J.Joosten、F.Pakhomov、K.Papafilippou和A.Weiermann，“算术和超算术蠕虫大战” 逻辑与计算杂志 第32卷，第8期，第1558–1584页，2022年。
@文章{01GNQJDHY3JYHF6PE3PEQZBNE8， abstract={{Japaridze的可证明逻辑（GLP）对每个自然数都有一种形式[n]，Beklemishev用它对Peano算术（PA）和相关理论进行了证明理论分析。除其他优点外，这种分析还产生了所谓的Every Worm Dies（EWD） 最近，Beklemishev和Pakhomov研究了GLP中对应于超限模态的可证明性概念。 我们证明了GLP的自然超限扩展确实适合于这种解释，并为具有完整归纳的算术理解的二阶理论ACA产生了独立的组合原理。 我们还提供了与PA片段I∑_n相关的EWD的限制版本。为了证明后者，我们证明了标准Hardy函数基于树序数优化其变体。}}， 作者={{Fernández-Duque，David and Joosten，Joost J and Pakhomov，Fedor and Papafilippou，Konstantinos and Weiermann，Andreas}}， issn={{0955-792X}}， journal={{逻辑与计算杂志}}， 关键词={{逻辑、硬件与建筑、艺术与人文（杂项）、软件、理论计算机科学、可证明逻辑、独立结果、序数分析、反射原理、可证明代数、转换、归纳}}， language＝｛｛eng｝｝， 数字={{8}}， 页数={{1558--1584}}， title={{算术和超算术蠕虫大战}}， url={http://doi.org/10.1093/logcom/exac067}}， 体积={{32}}， 年份＝{{2022}}， }
海拔高度 在Altmetric中查看 科学网 引用次数：