A tt version of the Posner-Robinson theorem

zbMATH Open1158.03027MaRDI QIDQ3530408FDOQ3530408

Authors: W. Hugh Woodin 

Publication date: 20 October 2008

Recommendations

• A Refinement of Lown and Highn for the R.E. Degrees
• A non-inversion theorem for the jump operator
• Limits on jump inversion for strong reducibilities
• A bounded jump for the bounded Turing degrees
• scientific article

zbMATH Keywords

Prikry forcingTuring jumpforcing notionhyperjump

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Other degrees and reducibilities in computability and recursion theory (03D30)

Cited In (2)

• Effective randomness for continuous measures
• Measures and their random reals

This page was built for publication: A tt version of the Posner-Robinson theorem

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