Pages that link to "Item:Q750439"
From MaRDI portal
The following pages link to A new model for intuitionistic analysis (Q750439):
Displaying 11 items.
- Topological forcing semantics with settling (Q408537) (← links)
- New models of bounded induction axioms (Q937904) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← 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)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable (Q2813681) (← links)
- Two questions from Dana Scott: Intuitionistic topologies and continuous functions (Q3630587) (← links)
- Relative lawlessness in intuitionistic analysis (Q3778020) (← links)
- Decidability of Scott's model as an ordered ℚ-vectorspace (Q4372914) (← links)
- (Q5170700) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)