SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
From MaRDI portal
Publication:2933676
DOI10.1007/978-3-642-35722-0_20zbMath1353.03039arXiv1510.02141OpenAlexW2762847995WikidataQ127416684 ScholiaQ127416684MaRDI QIDQ2933676
Hannes Diener, Robert S. Lubarsky
Publication date: 5 December 2014
Published in: The Journal of Symbolic Logic, Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.02141
Constructive and recursive analysis (03F60) Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Nonstandard models in mathematics (03H05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (7)
Realizability Models Separating Various Fan Theorems ⋮ Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Intuitionistic sequential compactness? ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ On the necessity of some topological spaces
Cites Work
- Sequences of real functions on [0,1 in constructive reverse mathematics]
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Independence results around constructive ZF
- Unnamed Item
- Unnamed Item
This page was built for publication: SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
