Two questions from Dana Scott: Intuitionistic topologies and continuous functions

DOI10.2178/JSL/1243948335zbMath1173.03046OpenAlexW2093164193MaRDI QIDQ3630587

Charles McCarty

Publication date: 4 June 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1243948335

zbMATH Keywords

consistencyintuitionistic set theoryHeyting-valued sets

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• The universal properties of Dedekind finite cardinals

This page was built for publication: Two questions from Dana Scott: Intuitionistic topologies and continuous functions