Effective domination and the bounded jump

DOI10.1215/00294527-2020-0005MaRDI QIDQ778723zbMATH OpenOpenAlexFDO

Authors Keng Meng Ng, Hongyuan Yu

Publication date 20 July 2020

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

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1586224879

zbMATH Keywords

jump inversionhigh degreesbounded jumpdominant functionwtt-degrees

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Bounded low and high sets
• A bounded jump for the bounded Turing degrees
• Limits on jump inversion for strong reducibilities
• Classes bounded by incomplete sets
• Degrees which do not bound minimal degrees

Cites work

• scientific article; zbMATH DE number 4172959 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• A Hierarchy of Turing Degrees
• A bounded jump for the bounded Turing degrees
• A hierarchy of computably enumerable degrees
• Abelian \(p\)-groups and the halting problem
• Bounded low and high sets
• Computational aspects of the hyperimmune-free degrees
• Limits on jump inversion for strong reducibilities
• TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES

Cited in

(6)

• Limits on jump inversion for strong reducibilities
• A bounded jump for the bounded Turing degrees
• Bounded-low sets and the high/low hierarchy
• Bounded jump and the high/low hierarchy
• On trees without hyperimmune branches
• Bounded low and high sets

This page was built for publication: Effective domination and the bounded jump

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