Relative to any non-hyperarithmetic set
Logic
2011-10-11 v1
Abstract
We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.
Cite
@article{arxiv.1110.1907,
title = {Relative to any non-hyperarithmetic set},
author = {Noam Greenberg and Antonio Montalban and Theodore Slaman},
journal= {arXiv preprint arXiv:1110.1907},
year = {2011}
}
Comments
21 pages