Theories and ordinals in proof theory (Q2500821)

The author gives a very good survey on the aims and techniques of ordinal analysis. It includes not only the classical topics of subsystems of second-order arithmetic and of set theory, but also newer developments in relation to model-theoretic characterizations (partial models and patterns of resemblance; Sec.~4), characterizations via \(E\)-recursion (Sec.~5), and the \(\Sigma_1\) spectrum of a theory (Sec.~6). The last chapter addresses the relation of recursively large ordinals and ordinal representation systems.