%0 Journal Article
%T Realizability Models Separating Various Fan Theorems
%A Robert S. Lubarsky
%A Michael Rathjen
%J Mathematics
%D 2015
%I arXiv
%X 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.
%U http://arxiv.org/abs/1510.02147v1