Pages that link to "Item:Q2747729"
From MaRDI portal
The following pages link to Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729):
Displayed 8 items.
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Universes over Frege structures (Q1861539) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← 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)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Universes in explicit mathematics (Q5939842) (← links)