Document Type

Article

Publication Date

2016

Publication Title

The Journal of Symbolic Logic

Department

Department of Mathematics

Abstract

We study Turing degrees a for which there is a countable structure whose degree spectrum is the collection {x : x ≰ a}. In particular, for degrees a from the interval [0′, 0″], such a structure exists if a′ = 0″, and there are no such structures if a″ > 0‴.

DOI

10.1017/jsl.2015.59

COinS