Characterizing the join-irreducible Medvedev degrees

DOI10.1215/00294527-2010-034MaRDI QIDQ628800zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Brouwer algebrasintermediate logicsMedvedev degrees

Mathematics Subject Classification ID

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

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

Cited in

(6)

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

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)