Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- 1 September 1980
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 22 (3) , 121-139
- https://doi.org/10.1007/bf02297652
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1Archive for Mathematical Logic, 1981
- Beweistheorie vonKPNArchive for Mathematical Logic, 1980
- Provable wellorderings of formal theories for transfinitely iterated inductive definitionsThe Journal of Symbolic Logic, 1978
- Set Theoretic Foundations for Constructive AnalysisAnnals of Mathematics, 1977
- Proof TheoryPublished by Springer Nature ,1977
- Admissible Sets and StructuresPublished by Springer Nature ,1975
- Predicatively reducible systems of set theoryProceedings of Symposia in Pure Mathematics, 1974