Consistency statements and iterations of computable functions in IΣ1 and PRA | Publicación