Consistency proof without transfinite induction for a formal system for turing machines. Salvatore Caporaso (1978) Archiv für mathematische Logik und Grundlagenforschung