Some purely topological models for intuitionistic analysis
From MaRDI portal
Publication:1302294
DOI10.1016/S0168-0072(98)00059-1zbMath0944.03058MaRDI QIDQ1302294
Publication date: 15 September 2000
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new model for intuitionistic analysis
- Constructivism in mathematics. An introduction. Volume II
- The topological models of intuitionistic analysis. One counterexample
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- A Topological Model for Intuitionistic Analysis with Kripke's Scheme
- An interpretation of intuitionistic analysis
- Some theorems of set theory and their topological consequences
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis