Realizability Models Separating Various Fan Theorems
Abstract
We develop a realizability model in which the realizers are the reals not just Turing computable in a fixed real but rather the reals in a countable ideal of Turing degrees. This is then applied to prove several separation results involving variants of the Fan Theorem.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2015
- DOI:
- 10.48550/arXiv.1510.02147
- arXiv:
- arXiv:1510.02147
- Bibcode:
- 2015arXiv151002147L
- Keywords:
-
- Mathematics - Logic;
- 03F50;
- 03F60;
- 03D80;
- 03C90
- E-Print:
- Proceedings, Computability in Europe 2013, Lecture Notes in Computer Science #7921 (Bonizzoni, Brattka, and Loewe, eds.), Springer, 2013, pp. 306-315