The following pages link to (Q4404863):
Displaying 5 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable (Q2813681) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)
