Definability issues in the ω-Turing degrees

Authors

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

Issue

Vol. 105 (2018): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

Definability issues in the ω-Turing degrees. (2018). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 105, 45-54. https://doi.org/10.60063/gsu.fmi.105.45-54