Pages that link to "Item:Q5055281"
From MaRDI portal
The following pages link to Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281):
Displaying 12 items.
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- Intuitionistically provable recursive well-orderings (Q1820780) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Zermelo’s Well-Ordering Theorem in Type Theory (Q3612443) (← links)
- The Mathematical Import of Zermelo's Well-Ordering Theorem (Q4372921) (← links)
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
