Realizability Models Separating Various Fan Theorems [article]

Robert S. Lubarsky, Michael Rathjen
2015 arXiv   pre-print
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.
arXiv:1510.02147v1 fatcat:rht54zrb6vcwlpt3cbvb4w7nxq