Pages that link to "Item:Q4527929"
From MaRDI portal
The following pages link to Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929):
Displaying 5 items.
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q2700827) (← links)
- Proof theory of weak compactness (Q2853981) (← links)