Isolation and the jump operator

DOI10.1002/1521-3870(200111)47:4%3C525::AID-MALQ525%3E3.0.CO;2-7MaRDI QIDQ2765575zbMATH OpenOpenAlexFDO

Authors Guohua Wu

Publication date 22 January 2003

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C525::aid-malq525%3E3.0.co;2-7

zbMATH Keywords

d.r.e. degreeshigh degreesisolationlow degreesrecursively enumerable setsTuring degrees

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other Turing degree structures (03D28) Other degrees and reducibilities in computability and recursion theory (03D30) Undecidability and degrees of sets of sentences (03D35)

Review text

The paper deals with the Turing degrees of differences of recursively (= computably) enumerable degrees. The author constructs recursively enumerable sets \(A,B,C\) such that \(A\) has low\(_2\) Turing degree, the d.r.e.\ set \(D = B-C\) has high Turing degree and the Turing degree of \(D\) is isolated above \(A\), that is, every recursively enumerable set \(E\) below \(D\) is already below \(A\): \(E \leq_T D \Rightarrow E \leq_T A\). The author announces that the result can be improved: Together with Ishmukhametov he constructed \(A,B,C\) as above with the improvement that the Turing degree of \(A\) is low and not only low\(_2\).

Recommendations

• Nonisolated degrees and the jump operator
• Isolated d-r.e. degree below r.e. degree
• The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
• Isolated d.r.e. degrees are dense in r.e. degree structure
• Isolated from above d-r. e. degrees. I

Cited in

(8)

• Nonisolated degrees and the jump operator
• Non-uniformity and generalised Sacks splitting
• Isolated d-r.e. degree below r.e. degree
• Bounding computably enumerable degrees in the Ershov hierarchy
• An almost-universal cupping degree
• The jump is definable in the structure of the degrees of unsolvability
• Computability and the symmetric difference operator
• Bi-isolation in the d.c.e. degrees

This page was built for publication: Isolation and the jump operator

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