A symmetric $\beta$-model
Logic
2018-03-07 v1
Abstract
We prove that there exists a countable -model in which, for all reals and , is definable from if and only is hyperarithmetical in . We also obtain some related results and pose some related questions.
Keywords
Cite
@article{arxiv.1803.02336,
title = {A symmetric $\beta$-model},
author = {Stephen G. Simpson},
journal= {arXiv preprint arXiv:1803.02336},
year = {2018}
}
Comments
8 pages. This paper was written in 2000 but was not published until 2018. The only change since 2000 is that the references have been updated