A jump inversion theorem for the infinite enumeration jump

zbMATH Open1474.03098MaRDI QIDQ4993757FDOQ4993757

Authors: Hristo Ganchev 

Publication date: 16 June 2021

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

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

zbMATH Keywords

forcingenumeration degreesenumeration reducibilityenumeration jump

Mathematics Subject Classification ID

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

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)