Ordinal notations based on a weakly Mahlo cardinal
From MaRDI portal
Recommendations
Cites work
- A new system of proof-theoretic ordinal functions
- 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)
- scientific article; zbMATH DE number 3914318 (Why is no real title available?)
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 3572133 (Why is no real title available?)
- scientific article; zbMATH DE number 3397511 (Why is no real title available?)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Ordinal notations based on a hierarchy of inaccessible cardinals
- Proof theory. An introduction
- Set theory. An introduction to large cardinals
- ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
Cited in
(29)- Ordinal notations based on a hierarchy of inaccessible cardinals
- Inaccessibility in constructive set theory and type theory
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
- Proof theory of reflection
- Induction-recursion and initial algebras.
- Ordinal diagrams for recursively Mahlo universes
- A model of the generic Vopěnka principle in which the ordinals are not Mahlo
- An ordinal analysis of stability
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- Ordinal notations and well-orderings in bounded arithmetic
- Pure \(\Sigma_2\)-elementarity beyond the core
- Proof theory and ordinal analysis
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
- scientific article; zbMATH DE number 4066876 (Why is no real title available?)
- Relativized ordinal analysis: the case of power Kripke-Platek set theory
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
- scientific article; zbMATH DE number 2152230 (Why is no real title available?)
- The Recursively Mahlo Property in Second Order Arithmetic
- A Glimpse of $$ \sum_{3} $$-elementarity
- Zur Beweistheorie Von KPM
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
- On the mathematical and foundational significance of the uncountable
- European Summer Meeting of the Association for Symbolic Logic
- Simplified collapsing functions and their applications
- Proof-theoretic analysis of KPM
- Ordinal arithmetic based on Skolem hulling
This page was built for publication: Ordinal notations based on a weakly Mahlo cardinal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q920986)
