Pages that link to "Item:Q1590660"
From MaRDI portal
The following pages link to Fixed point theories and dependent choice (Q1590660):
Displayed 4 items.
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)