An ordinal analysis of stability (Q1765099)

The author gives an ordinal analysis of \(\mathbf{ {KPi}} + \forall \varrho \exists \pi. \pi\) is \(\pi + \rho\) stable. This paper is the first, in a series of three, towards an ordinal analysis of \(\Pi_2^1\)-comprehension (which corresponds to \(\mathbf{ {KP}} + \Sigma_1\text{-separation}\)). The presented case is ``not too complicated'' since in the ordinal representation system which is based on \(\nu\)-indescribable cardinals ``the collapsing functions still collapse single points'' [p.~2]. The following papers of this series [\textit{M. Rathjen}, ``An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension'', Arch. Math. Logic 44, No. 3, 263--362 (2005; Zbl 1068.03047), reviewed below; An ordinal analysis of iterated \(\Pi_2^1\) comprehension and related systems. Preprint, 85 pages] will use collapsing functions which ``collaps points from an interval'' [p.~2].