Pages that link to "Item:Q1059071"
From MaRDI portal
The following pages link to The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071):
Displaying 10 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- Topological models of epistemic set theory (Q916657) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- Scott induction and closure under \(\omega\)-sups (Q1087326) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- Two questions from Dana Scott: Intuitionistic topologies and continuous functions (Q3630587) (← links)
- Undecidability of the Real-Algebraic Structure of Scott's Model (Q4210836) (← links)
- Decidability of Scott's model as an ordered ℚ-vectorspace (Q4372914) (← links)
- Decompositions of finitely generated modules over <i>C</i>(<i>X</i>): sheaf semantics and a decision procedure (Q5749837) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)
