Pages that link to "Item:Q1576592"
From MaRDI portal
The following pages link to Ordinal diagrams for recursively Mahlo universes (Q1576592):
Displayed 7 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (Q5311756) (← links)
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753) (← links)