The following pages link to (Q3035279):
Displaying 8 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Universes in explicit mathematics (Q5939842) (← 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)
