Pages that link to "Item:Q5361255"
From MaRDI portal
The following pages link to Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection (Q5361255):
Displaying 8 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)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655) (← links)
- (Q3025175) (← links)
- Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0 (Q3523183) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)
- A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION (Q5855753) (← links)