Undecidability vs transfinite induction for the consistency of hyperarithmetical sets. S. Caporaso; G. Pani — 1982 Archiv für mathematische Logik und Grundlagenforschung