SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II

DOI10.1017/jsl.2019.1zbMath1480.03030OpenAlexW4241361262MaRDI QIDQ5207562

Robert S. Lubarsky

Publication date: 10 January 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2019.1

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 (1)

On the necessity of some topological spaces

Cites Work

• Sequences of real functions on [0,1 in constructive reverse mathematics]
• Realizability. An introduction to its categorical side
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Realizability and recursive set theory
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Constructivism in mathematics. An introduction. Volume II
• Notions of Cauchyness and metastability
• Separating the fan theorem and its weakenings. II
• Independence results around constructive ZF
• Heyting-valued interpretations for constructive set theory
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II