Predicativity through transfinite reflection | Publicación