Pages that link to "Item:Q2309489"
From MaRDI portal
The following pages link to Proof-theoretic strengths of the well-ordering principles (Q2309489):
Displaying 11 items.
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Takeuti's well-ordering proof: finitistically fine? (Q1711783) (← links)
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- Well-behaved principles alternative to bounded induction (Q1885028) (← links)
- The Mathematical Import of Zermelo's Well-Ordering Theorem (Q4372921) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Variation on a theme of Schütte (Q4736753) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- A note on ordinal exponentiation and derivatives of normal functions (Q6096326) (← links)
