Defining Jump Classes in the Degrees Below 0'

DOI10.2307/2047504zbMath0662.03032OpenAlexW4240721023MaRDI QIDQ3812224

Richard A. Shore

Publication date: 1988

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2047504

zbMATH Keywords

recursively enumerable degreejumpTuring degreesdefinability of classes of degrees

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (5)

Nonbounding and Slaman triples ⋮ The jump is definable in the structure of the degrees of unsolvability ⋮ Working below a \(low_ 2\) recursively enumerable degree ⋮ Decidability and Invariant Classes for Degree Structures ⋮ Biinterpretability up to double jump in the degrees below $\mathbf {0}^{\prime }$

This page was built for publication: Defining Jump Classes in the Degrees Below 0'