Realizability Models Separating Various Fan Theorems
classification
🧮 math.LO
keywords
realizabilityrealsturingappliedcomputablecountabledegreesdevelop
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.