Separating the fan theorem and its weakenings. II

DOI10.1007/978-3-319-72056-2_15zbMATH Open1480.03029OpenAlexW4236765684MaRDI QIDQ1709705FDOQ1709705

Authors: Robert S. Lubarsky 

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_15

Recommendations

• Separating the fan theorem and its weakenings. II
• Separating the fan theorem and its weakenings
• Separating the fan theorem and its weakenings
• A separation result for varieties of Brouwer's fan theorem
• Realizability Models Separating Various Fan Theorems

zbMATH Keywords

forcingKripke modelsformal topologyrecursive realizabilityHeyting-valued modelsfan theorems

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Applications of computability and recursion theory (03D80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Constructive and recursive analysis (03F60)

Cited In (7)

• Heine-Borel does not imply the Fan Theorem
• Logics of intuitionistic Kripke-Platek set theory
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
• Two direct proofs that LLPO implies the detachable fan theorem
• The Fekete–Szegő theorem with splitting conditions: Part II
• A separation result for varieties of Brouwer's fan theorem
• On choice principles and fan theorems

This page was built for publication: Separating the fan theorem and its weakenings. II

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