Pages that link to "Item:Q2758045"
From MaRDI portal
The following pages link to First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045):
Displayed 3 items.
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)