Realizability Models Separating Various Fan Theorems

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

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03D78: Computation over the reals, computable analysis

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