The following pages link to Universes in explicit mathematics (Q5939842):
Displaying 18 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Guarino Guarini and universal mathematics (Q848888) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- Universes in metapredicative analysis (Q1407581) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← 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)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Formal Universes (Q2945710) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
- (Q4283245) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
