  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.
