Characterizing the join-irreducible Medvedev degrees

DOI10.1215/00294527-2010-034zbMATH Open1232.03029OpenAlexW1974918649MaRDI QIDQ628800FDOQ628800

Authors: Paul Shafer 

Publication date: 7 March 2011

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

Full work available at URL: https://doi.org/10.1215/00294527-2010-034

Recommendations

• Topological aspects of the Medvedev lattice
• On some filters and ideals of the Medvedev lattice
• scientific article; zbMATH DE number 841094
• A Note on Closed Degrees of Difficulty of the Medvedev Lattice
• Some Quotient Lattices of the Medvedev Lattice

zbMATH Keywords

Brouwer algebrasMedvedev degreesintermediate logics

Mathematics Subject Classification ID

Intermediate logics (03B55) Other degrees and reducibilities in computability and recursion theory (03D30)

Cited In (6)

• The finite intervals of the Muchnik lattice
• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes
• Topological aspects of the Medvedev lattice
• On some filters and ideals of the Medvedev lattice
• Natural factors of the Medvedev lattice capturing IPC
• 2-minimality, jump classes and a note on natural definability

This page was built for publication: Characterizing the join-irreducible Medvedev degrees

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