A note on parameter free Π1 -induction and restricted exponentiation | Publicación