Heine-Borel does not imply the Fan Theorem

DOI10.2307/2274182zbMATH Open0584.03040OpenAlexW2131480787MaRDI QIDQ3708799FDOQ3708799

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

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

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)

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)