Predicativity beyond Gamma_0
| dc.creator | Weaver, Nik | |
| dc.date | 2005-09-11 | |
| dc.date | 2009-05-11 | |
| dc.date.accessioned | 2026-07-07T13:13:11Z | |
| dc.date.available | 2026-07-07T13:13:11Z | |
| dc.description | 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. | |
| dc.description | 38 pages Some minor corrections; no major changes | |
| dc.identifier | https://arxiv.org/abs/math/0509244 | |
| dc.identifier | http://arxiv.org/abs/math/0509244 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229808 | |
| dc.subject | Logic | |
| dc.subject | General Mathematics | |
| dc.title | Predicativity beyond Gamma_0 | |
| dc.type | text |