Definability issues in the ω-Turing degrees

Andrey Sariev; Hristo Ganchev

doi:10.60063/gsu.fmi.105.45-54

Definability issues in the ω-Turing degrees

Authors

Andrey Sariev https://orcid.org/0000-0002-9832-506X
Hristo Ganchev https://orcid.org/0000-0001-8077-1208

DOI:

https://doi.org/10.60063/gsu.fmi.105.45-54

Keywords:

definability, degree structures, jump, Turing reducibility, ω-Turing degrees

Abstract

We show the equivalence of the first order definabilities of the jump of the least element and of the jump operator in the upper semilattice of the ω-Turing degrees.

Downloads

Published

2018-12-12

How to Cite

Sariev, A., & Ganchev, H. (2018). Definability issues in the ω-Turing degrees. Ann. Sofia Univ. Fac. Math. And Inf., 105, 45–54. https://doi.org/10.60063/gsu.fmi.105.45-54