Pages that link to "Item:Q750439"
From MaRDI portal
The following pages link to A new model for intuitionistic analysis (Q750439):
Displaying 4 items.
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable (Q2813681) (← links)
- Decidability of Scott's model as an ordered ℚ-vectorspace (Q4372914) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)
