In this paper, we develop primitive recursive analogues of regular cardinals by using ordinal representation systems for KPi and KPM. We also define primitive recursive analogues of inaccessible and hyperinaccessible cardinals. Moreover, we characterize the primitive recursive analogue of the least (uncountable) regular cardinal.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Buchholz, W.: A note on the ordinal analysis of KPM, Proceedings Logic Colloquium 90 (Edited by J. Väänänen), pp. 1–9 (1992)
Buchholz, W.: A simplified version of local predicativity, Proof Theory (Edited by P. Aczel, H. Simmons and S. Wainer), pp. 117–147 (1993)
Drake, F.: Set Theory: An introduction to large cardinals, (North Holland, (1974)
Kanamori, A.: The higher infinite, Springer-Verlag, (1997)
Pohlers, W.: Subsystems of set theory and second order number theory, Handbook of Proof Theory (Edited by S.R. Buss), pp. 209–335 (1998)
Rathjen, M.: Ordinal notations based on a weakly Mahlo cardinal. Archive for Mathematical Logic 29, 249–263 (1990)
Rathjen, M.: Proof-theoretic analysis of KPM. Archive for Mathematical Logic 30, 377–403 (1991)
Rathjen, M.: The higher infinite in proof theory. Logic Colloquium ‘95, Lecture Notes in Logic 11, 275–304 (1998)
Rathjen, M.: The realm of ordinal analysis. Sets and Proofs, Cambridge University Press, 219–279 (1999)
Takaki, O.: Primitive recursive analogues of the least regular cardinal and the least weakly inaccessible cardinal. Scientiae Mathematicae Japonicae 57–1, 103–111 (2003): e7 157–167
Takaki, O.: Elementary ordinal representation systems for KP theories, preprint
About this article
Cite this article
Takaki, O. Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. Arch. Math. Logic 44, 689–709 (2005). https://doi.org/10.1007/s00153-005-0308-9
Key words or phrases
- Proof-theoretic ordinal
- Ordinal representation system
- Inaccessible cardinal