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
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
0 references