A tt version of the Posner-Robinson theorem

MaRDI QIDQ3530408zbMATH OpenFDO

Authors W. Hugh Woodin

Publication date 20 October 2008

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)

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 DE number 4135928

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)