The real-algebraic structure of Scott's model of intuitionistic analysis

DOI10.1016/0168-0072(84)90030-7zbMath0566.03034OpenAlexW2056848940MaRDI QIDQ1059071

Philip Scowcroft

Publication date: 1984

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(84)90030-7

zbMATH Keywords

continuous functionsreal-closed fieldsgood M-pointintuitionistic continuum

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items

More on real algebra in Scott's model ⋮ 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 ⋮ Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure ⋮ A new model for intuitionistic analysis

Cites Work

• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The first order properties of products of algebraic systems
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• Elementary intuitionistic theories
• Proofs of non-deducibility in intuitionistic functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item