Some purely topological models for intuitionistic analysis

DOI10.1016/S0168-0072(98)00059-1zbMath0944.03058MaRDI QIDQ1302294

Philip Scowcroft

Publication date: 15 September 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic analysistopological models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Related Items (1)

A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some purely topological models for intuitionistic analysis