Pages that link to "Item:Q1576592"
From MaRDI portal
The following pages link to Ordinal diagrams for recursively Mahlo universes (Q1576592):
Displaying 15 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- On ordinal diagrams (Q1130780) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- (Q3081647) (← links)
- (Q3786478) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- (Q4938561) (← 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)