The real-algebraic structure of Scott's model of intuitionistic analysis
From MaRDI portal
Publication:1059071
DOI10.1016/0168-0072(84)90030-7zbMath0566.03034OpenAlexW2056848940MaRDI QIDQ1059071
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
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