A jump inversion theorem for the infinite enumeration jump

MaRDI QIDQ4993757zbMATH OpenFDO

Authors Hristo Ganchev

Publication date 16 June 2021

Full work available at URL https://www.fmi.uni-sofia.bg/en/node/6794

zbMATH Keywords

enumeration degreesenumeration jumpenumeration reducibilityforcing

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• A jump inversion theorem for the enumeration jump
• Limit lemmas and jump inversion in the enumeration degrees
• The  -Enumeration Degrees
• Regular enumerations
• A non-inversion theorem for the jump operator

Cited in

(3)

• Limit lemmas and jump inversion in the enumeration degrees
• A jump inversion theorem for the enumeration jump
• A Jump Inversion Theorem for the Degree Spectra

This page was built for publication: A jump inversion theorem for the infinite enumeration jump

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