A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Realizability Models Separating Various Fan Theorems
[article]
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