Pages that link to "Item:Q1076670"
From MaRDI portal
The following pages link to More on real algebra in Scott's model (Q1076670):
Displaying 4 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← 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)
