  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.
