Pages that link to "Item:Q5311756"
From MaRDI portal
The following pages link to Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (Q5311756):
Displaying 7 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- A comparison of two systems of ordinal notations (Q1879003) (← links)
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- Proof theory of weak compactness (Q2853981) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)