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

DOI10.1002/malq.201400043zbMath1402.03092OpenAlexW2337073007MaRDI QIDQ2813681

Philip Scowcroft

Publication date: 24 June 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201400043

Mathematics Subject Classification ID

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

Related Items (1)

Countable sets versus sets that are countable in reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• A new model for intuitionistic analysis
• Subcountability under realizability
• Some purely topological models for intuitionistic analysis
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• An interpretation of intuitionistic analysis

This page was built for publication: A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable