The following pages link to (Q4283245):
Displaying 7 items.
- Universes in metapredicative analysis (Q1407581) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Levels of truth (Q1903585) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
