More on real algebra in Scott's model

DOI10.1016/0168-0072(86)90023-0zbMath0594.03042OpenAlexW2017280465MaRDI QIDQ1076670

Philip Scowcroft

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

zbMATH Keywords

decision procedureintuitionismDana Scott's topological model for intuitionistic analysisprimitive-recursive algorithm

Mathematics Subject Classification ID

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

• The real-algebraic structure of Scott's model of intuitionistic analysis
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: More on real algebra in Scott's model