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.

Computable isomorphisms, degree spectra of relations, and Scott families

Degrees of relations on canonically ordered natural numbers and integers

A Computable Functor From Graphs to Fields

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

Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures

Relative cyclotomic structures and equivariant complex cobordism

Degree spectra of unary relations on 〈ω,≤〉

Computable categoricity relative to a c.e. degree

A Computably Categorical Structure Whose Expansion By A Constant Has Infinite Computable Dimension

Ranks for families of theories and their spectra

Categoricity and Scott Families.

Computably Enumerable Algebras, Their Expansions, and Isomorphisms

Computable Models of Theories with Few Models.

Definability and Scott rank in separable Metric structures

The spectrum of excisive functors

Computable Categoricity and the Ershov Hierarchy

A Journey to Computably Enumerable Structures (Tutorial Lectures).

Measuring the complexity of reductions between equivalence relations

On Computability Theoretic Properties of Structures and Their Cartesian Products

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Every spectrum is the K-theory of a stable $\infty$-category