Pages that link to "Item:Q4254619"
From MaRDI portal
The following pages link to The proof-theoretic analysis of transfinitely iterated fixed point theories (Q4254619):
Displayed 11 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)
- Universes over Frege structures (Q1861539) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)
- Universes in explicit mathematics (Q5939842) (← links)