Proof-theoretic analysis of KPM
- 1 September 1991
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 30 (5) , 377-403
- https://doi.org/10.1007/bf01621475
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Ordinal notations based on a weakly Mahlo cardinalArchive for Mathematical Logic, 1990
- Proof TheoryLecture Notes in Mathematics, 1989
- Ordinal notations based on a hierarchy of inaccessible cardinalsAnnals of Pure and Applied Logic, 1987
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher BäumeArchive for Mathematical Logic, 1985
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation systemArchive for Mathematical Logic, 1984
- The Incompleteness TheoremsPublished by Elsevier ,1977
- Proof TheoryPublished by Springer Nature ,1977
- Admissible Sets and StructuresPublished by Springer Nature ,1975
- Recursively Mahlo Ordinals and Inductive DefinitionsPublished by Elsevier ,1971