Predicativity through transfinite reflection
Logic
2015-01-14 v2
Abstract
Peano Arithmetic is known to be provably equivalent to reflection over Elementary Arithmetic. We prove a characterization of Predicative Analysis in the guise of ATR0 in terms of stronger reflection principles.
Cite
@article{arxiv.1412.5521,
title = {Predicativity through transfinite reflection},
author = {Andrés Cordon Franco and David Fernández Duque and Joost J. Joosten and Félix Lara Martín},
journal= {arXiv preprint arXiv:1412.5521},
year = {2015}
}