Pages that link to "Item:Q920986"
From MaRDI portal
The following pages link to Ordinal notations based on a weakly Mahlo cardinal (Q920986):
Displaying 16 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Simplified collapsing functions and their applications (Q687397) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Zur Beweistheorie Von KPM (Q5013916) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
