Pages that link to "Item:Q2795201"
From MaRDI portal
The following pages link to EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201):
Displaying 5 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)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)
