Predicativity beyond Gamma₀
From MaRDI portal
Publication:6476007
Abstract: 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 phi_{Omega^omega}(0), and larger ordinals, are predicatively provable.
This page was built for publication: Predicativity beyond Gamma_0
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6476007)
