The following pages link to Operational closure and stability (Q385076):
Displaying 6 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)
- Explicit mathematics and operational set theory: some ontological comparisons (Q2795201) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- (Q3339328) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)