二阶算术子系统的前史
历史与综述
2016-12-20 v1
摘要
本文对二阶算术的传统子系统进行了系统性前史研究，这些子系统在 Friedman 和 Simpson 的反推数学纲领中占据显著地位。我们特别考察了以下方面： 关于从 Poincaré 到 Feferman 在算术可定义性与可证性方面的长期脉络， Hilbert 与 Bernays 的讲义及著作中有限主义与分析形式化之间的相互作用， 与弱 König 引理等价的原理在构造性地位上的不确定性， 描述集合论中算术超限递归的大规模智识背景及其由 Borel、Lusin、Addison 等人的能行化。
引用
@article{arxiv.1612.06219,
title = {The Prehistory of the Subsystems of Second-Order Arithmetic},
author = {Walter Dean and Sean Walsh},
journal= {arXiv preprint arXiv:1612.06219},
year = {2016}
}
备注
Forthcoming in The Review of Symbolic Logic