TY  - RPRT
TI  - Predicativity through transfinite reflection
AU  - Andrés Cordon Franco
AU  - David Fernández Duque
AU  - Joost J. Joosten
AU  - Félix Lara Martín
PY  - 2015
UR  - https://arxiv.org/abs/1412.5521
ID  - 1412.5521
ER  -