Heine-Borel does not imply the Fan Theorem

DOI10.2307/2274182zbMath0584.03040OpenAlexW2131480787MaRDI QIDQ3708799

Ieke Moerdijk

Publication date: 1984

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

Full work available at URL: https://doi.org/10.2307/2274182

zbMATH Keywords

localesintuitionistic analysisCantor spacelocally compact spacecomplete Heyting algebras

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items (2)

Derived rules for predicative set theory: an application of sheaves ⋮ Equivalents of the (weak) fan theorem

This page was built for publication: Heine-Borel does not imply the Fan Theorem