Separating the fan theorem and its weakenings. II

DOI10.1007/978-3-319-72056-2_15zbMath1480.03029OpenAlexW4236765684MaRDI QIDQ1709705

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

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

Related Items (2)

Logics of intuitionistic Kripke-Platek set theory ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II

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