Pages that link to "Item:Q920986"
From MaRDI portal
The following pages link to Ordinal notations based on a weakly Mahlo cardinal (Q920986):
Displayed 11 items.
- 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)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)