Abstract:We examine the degree spectra of relations on ${(\omega, <)}$. Given an additional relation $R$ on ${(\omega,<)}$, such as the successor relation, the degree spectrum of $R$ is the set of Turing degrees of $R$ in computable copies of ${(\omega,<)}$. It is known that all degree spectra of relations on ${(\omega,<)}$ fall into one of four categories: the computable degree, all of the c.e. degrees, all of the $\Delta^0_2$ degrees, or intermediate between the c.e. degrees and the $\Delta^0_2$ degrees. Examples of the first three degree spectra are easy to construct and well-known, but until recently it was open whether there is a relation with intermediate degree spectrum on a cone. Bazhenov, Kalociński, and Wroclawski constructed an example of an intermediate degree spectrum, but their example is unnatural in the sense that it is constructed by diagonalization and thus not canonical, that is, which relation you obtain from their construction depends on which Gödel encoding (and hence order of enumeration) of the partial computable functions / programs you choose. In this paper, we use the ''on-a-cone'' paradigm to restrict our attention to "natural" relations $R$. Our main result is a construction of a natural relation on ${(\omega,<)}$ which has intermediate degree spectrum. This relation has intermediate degree spectrum because of structural reasons.

Degree spectra of unary relations on 〈ω,≤〉

Degrees of relations on canonically ordered natural numbers and integers

Degree Spectra of Equivalence Relations

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone

Relative to any non-hyperarithmetic set

Spectral Representation of Infimum of Bounded Quantum Observables

Degree spectra of analytic complete equivalence relations

Measuring the complexity of reductions between equivalence relations

Generically Computable Linear Orderings

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

On computable numberings of families of Turing degrees

Partially ordered set of zero-dimensional one-point extensions of a topological space

Degree spectra of homeomorphism types of compact Polish spaces

Non-empty open intervals of computably enumerable sQ 1-degrees

Degrees that are not degrees of categoricity

Ranks for families of theories and their spectra

Computably enumerable equivalence relations via primitive recursive reductions

Abstract geometrical computation 12: generating representation of infinite countable linear orderings

Degrees of and lowness for isometric isomorphism

Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics

The Hopf algebra of integer binary relations