نشر في Stephen G. Simpson
بتاريخ 2018
والبحث باللغة
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.