The following pages link to (Q3912576):
Displaying 5 items.
- Large sets in intuitionistic set theory (Q796524) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
