Heine-Borel does not imply the Fan Theorem

DOI10.2307/2274182MaRDI QIDQ3708799zbMATH OpenOpenAlexFDO

Authors 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

Cantor spacelocaleslocally compact spaceintuitionistic analysiscomplete Heyting algebras

Mathematics Subject Classification ID

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

Recommendations

• A new model for intuitionistic analysis
• Intuitionistic sequential compactness?
• Separating the fan theorem and its weakenings. II
• Compactness in constructive analysis revisited
• Equivalents of the (weak) fan theorem

Cited in

(4)

• Equivalents of the (weak) fan theorem
• Derived rules for predicative set theory: an application of sheaves
• Kelley–Morse set theory does not prove the class Fodor principle
• Fans are not c-determined

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3708799)