Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.01071 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917063323287552 |
|---|---|
| author | Damaj, Jad Harrison-Trainor, Matthew |
| author_facet | Damaj, Jad Harrison-Trainor, Matthew |
| contents | We examine the degree spectra of relations on ${(ω, <)}$. Given an additional relation $R$ on ${(ω,<)}$, such as the successor relation, the degree spectrum of $R$ is the set of Turing degrees of $R$ in computable copies of ${(ω,<)}$. It is known that all degree spectra of relations on ${(ω,<)}$ fall into one of four categories: the computable degree, all of the c.e. degrees, all of the $Δ^0_2$ degrees, or intermediate between the c.e. degrees and the $Δ^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 ${(ω,<)}$ which has intermediate degree spectrum. This relation has intermediate degree spectrum because of structural reasons. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_01071 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone Damaj, Jad Harrison-Trainor, Matthew Logic We examine the degree spectra of relations on ${(ω, <)}$. Given an additional relation $R$ on ${(ω,<)}$, such as the successor relation, the degree spectrum of $R$ is the set of Turing degrees of $R$ in computable copies of ${(ω,<)}$. It is known that all degree spectra of relations on ${(ω,<)}$ fall into one of four categories: the computable degree, all of the c.e. degrees, all of the $Δ^0_2$ degrees, or intermediate between the c.e. degrees and the $Δ^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 ${(ω,<)}$ which has intermediate degree spectrum. This relation has intermediate degree spectrum because of structural reasons. |
| title | A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone |
| topic | Logic |
| url | https://arxiv.org/abs/2412.01071 |