Pages that link to "Item:Q4210836"
From MaRDI portal
The following pages link to Undecidability of the Real-Algebraic Structure of Scott's Model (Q4210836):
Displaying 4 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)