Pages that link to "Item:Q3335775"
From MaRDI portal
The following pages link to ϱ-inaccessible ordinals, collapsing functions and a recursive notation system (Q3335775):
Displayed 13 items.
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J)) (Q1102279) (← links)
- 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) (Q1102955) (← links)
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Natural well-orderings (Q3772212) (← links)
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger (Q4726251) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)