Ordinal notations based on a weakly Mahlo cardinal
- 1 December 1990
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 29 (4) , 249-263
- https://doi.org/10.1007/bf01651328
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proof TheoryLecture Notes in Mathematics, 1989
- Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. JägerArchive for Mathematical Logic, 1988
- Ordinal notations based on a hierarchy of inaccessible cardinalsAnnals of Pure and Applied Logic, 1987
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation systemArchive for Mathematical Logic, 1984
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981
- Proof TheoryPublished by Springer Nature ,1977
- Normalfunktionen und Konstruktive Systeme von OrdinalzahlenPublished by Springer Nature ,1975
- Recursively Mahlo Ordinals and Inductive DefinitionsPublished by Elsevier ,1971