Realizability Models Separating Various Fan Theorems
From MaRDI portal
Publication:5326379
DOI10.1007/978-3-642-39053-1_35zbMath1433.03152arXiv1510.02147MaRDI QIDQ5326379
Michael Rathjen, Robert S. Lubarsky
Publication date: 5 August 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.02147
Cites Work
- Sequences of real functions on [0,1 in constructive reverse mathematics]
- Realizability. An introduction to its categorical side
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Constructivism in mathematics. An introduction. Volume II
- Independence results around constructive ZF
- A semantical proof of De Jongh's theorem
- Relative and modified relative realizability
- Elementary axioms for local maps of toposes
- Measure theory and weak König's lemma
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS
- A decomposition of Brouwer’s fan theorem
- Relativized realizability in intuitionistic arithmetic of all finite types
- Brouwer's fan theorem and unique existence in constructive analysis
- Logical Approaches to Computational Barriers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item