A new model for intuitionistic analysis

DOI10.1016/0168-0072(90)90067-CzbMath0714.03051WikidataQ128017591 ScholiaQ128017591MaRDI QIDQ750439

Philip Scowcroft

Publication date: 1990

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

zbMATH Keywords

intuitionistic analysistopological modelKripke's schemamodel of the theory of choice-sequencesmonotone bar inductionrestricted dependent choiceunrestricted Brouwer's principleweak continuity for numbers

Mathematics Subject Classification ID

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 model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable ⋮ Some purely topological models for intuitionistic analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The real-algebraic structure of Scott's model of intuitionistic analysis
• More on real algebra in Scott's model
• Glueing of analysis models in an intuitionistic setting
• The topological models of intuitionistic analysis. One counterexample
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• How to glue analysis models
• The use of Kripke's schema as a reduction principle
• An interpretation of intuitionistic analysis
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

This page was built for publication: A new model for intuitionistic analysis