published by Stephen G. Simpson
in 2018
and research's language is
English
Download
Abstract in English
We prove that there exists a countable $beta$-model in which, for all reals $X$ and $Y$, $X$ is definable from $Y$ if and only $X$ is hyperarithmetical in $Y$. We also obtain some related results and pose some related questions.