Ordinal notations based on a weakly Mahlo cardinal
From MaRDI portal
Publication:920986
DOI10.1007/BF01651328zbMath0709.03042WikidataQ126372173 ScholiaQ126372173MaRDI QIDQ920986
Publication date: 1990
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Related Items
Proof theory of reflection, European Summer Meeting of the Association for Symbolic Logic, Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM, Ordinal arithmetic based on Skolem hulling, Relativized ordinal analysis: the case of power Kripke-Platek set theory, Induction-recursion and initial algebras., Simplified collapsing functions and their applications, Proof theory and ordinal analysis, Pure \(\Sigma_2\)-elementarity beyond the core, A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal, On the mathematical and foundational significance of the uncountable, Inaccessibility in constructive set theory and type theory, A Glimpse of $$ \sum_{3} $$-elementarity, Zur Beweistheorie Von KPM, Proof-theoretic analysis of KPM, Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe, Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Cites Work
- Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)
- A new system of proof-theoretic ordinal functions
- Ordinal notations based on a hierarchy of inaccessible cardinals
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Set theory. An introduction to large cardinals
- Proof theory. An introduction
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
