Abstract

Schmerl and Beklemishev’s work on iterated reflection achieves two aims: it introduces the important notion of \-ordinal, characterizing the \-theorems of a theory in terms of transfinite iterations of consistency; and it provides an innovative calculus to compute the \-ordinals for a range of theories. The present note demonstrates that these achievements are independent: we read off \-ordinals from a Schütte-style ordinal analysis via infinite proofs, in a direct and transparent way.