Predicativity beyond Gamma_0

Details Predicativity beyond Gamma_0 Predicativity beyond Gamma_0

2005-09-11

arxiv.org/abs/math/0509244v3

Mathematics

Logic

38 pages Some minor corrections; no major changes

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Predicativity beyond Gamma_0 does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Predicativity beyond Gamma_0, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Predicativity beyond Gamma_0 will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-1892