Realizability Models Separating Various Fan Theorems
Logic
2015-10-09 v1
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.
Keywords
Cite
@article{arxiv.1510.02147,
title = {Realizability Models Separating Various Fan Theorems},
author = {Robert S. Lubarsky and Michael Rathjen},
journal= {arXiv preprint arXiv:1510.02147},
year = {2015}
}