The following pages link to Universes in explicit mathematics (Q5939842):
Displayed 4 items.
- Universes over Frege structures (Q1861539) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)