Pages that link to "Item:Q1590660"
From MaRDI portal
The following pages link to Fixed point theories and dependent choice (Q1590660):
Displaying 6 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)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)
