An ordinal analysis of stability (Q1765099)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An ordinal analysis of stability
scientific article

    Statements

    An ordinal analysis of stability (English)
    0 references
    0 references
    22 February 2005
    0 references
    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].
    0 references
    ordinal analysis
    0 references
    Kripke-Platek
    0 references
    stability
    0 references
    Pi-one-two-comprehension
    0 references

    Identifiers