An almost deep degree
From MaRDI portal
An almost deep r.e. degree is one whose join with any low r.e. degree is also low. The almost deep degrees are easily seen to constitute a definable (using the jump) ideal in the r.e. degrees. The authors use a priority construction to show that this ideal is nontrivial.
Recommendations
Cites work
Cited in
(12)- Elementary differences among jump classes
- Joining to high degrees via noncuppables
- Lowness properties and randomness
- Randomness and Computability: Open Questions
- A limit on relative genericity in the recursively enumerable sets
- Joining to High Degrees
- A high strongly noncappable degree
- Strong jump-traceability
- The Degree of the Dormant Operatic Locus
- A hierarchy for the plus cupping Turing degrees
- A join theorem for the computably enumerable degrees
- Cupping and jump classes in the computably enumerable degrees
This page was built for publication: An almost deep degree
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747726)