Separating the fan theorem and its weakenings. II

DOI10.1007/978-3-319-72056-2_15MaRDI QIDQ1709705zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(7)

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

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)