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):
Displayed 5 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← 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)