More on real algebra in Scott's model
From MaRDI portal
Publication:1076670
DOI10.1016/0168-0072(86)90023-0zbMath0594.03042OpenAlexW2017280465MaRDI QIDQ1076670
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90023-0
decision procedureintuitionismDana Scott's topological model for intuitionistic analysisprimitive-recursive algorithm
Other constructive mathematics (03F65) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)
Related Items (4)
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis ⋮ Decidability of Scott's model as an ordered ℚ-vectorspace ⋮ A transfer theorem in constructive \(p\)-adic algebra ⋮ A new model for intuitionistic analysis
Cites Work
This page was built for publication: More on real algebra in Scott's model