Gamma_0以外的可预测性
Predicativity beyond Gamma_0
摘要：
我们重新评估断言推理（给定自然数）受Feferman-Schutte序数Gamma_0限制的说法。首先，我们全面批评了支持这一立场的论点。然后，我们从第一性原理分析了谓词主义，并根据这一分析发展了一个一般的方法来访问序数是谓词有效的。我们发现Veblen序数_{Ω^ω}（0）和更大的序数都是谓词可证的。
英文摘要：
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find that the Veblen ordinal ϕ_{Ω^ω}(0), and larger ordinals, are predicatively provable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
