On the jumps of the degrees below a recursively enumerable degree

DOI10.1215/00294527-2017-0014MaRDI QIDQ1704085zbMATH OpenOpenAlexFDO

Authors David R. Belanger, Richard A. Shore

Publication date 8 March 2018

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1500537625, https://biblio.ugent.be/publication/8669017

zbMATH Keywords

rigidity problemTuring jumpr.e. degrees

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other Turing degree structures (03D28)

Recommendations

• scientific article; zbMATH DE number 66485
• T-Degrees, Jump Classes, and Strong Reducibilities
• Definability in the Recursively Enumerable Degrees
• The jump is definable in the structure of the degrees of unsolvability
• Nonisolated degrees and the jump operator

Cites work

• scientific article; zbMATH DE number 3809539 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• A non-inversion theorem for the jump operator
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• Degrees of orderings not isomorphic to recursive linear orderings
• Interpolating \(d\)-r.e. and REA degrees between r.e. degrees
• Interpretability and Definability in the Recursively Enumerable Degrees
• Jump restricted interpolation in the recursively enumerable degrees
• Pseudo Jump Operators. I: The R. E. Case
• Recursive Enumerability and the Jump Operator
• Some More Minimal Pairs of α‐Recursively Enumerable Degrees

Cited in

(3)

• scientific article; zbMATH DE number 1507242 (Why is no real title available?)
• Badness and jump inversion in the enumeration degrees
• A jump class of noncappable degrees

This page was built for publication: On the jumps of the degrees below a recursively enumerable degree

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704085)