Characterizing the join-irreducible Medvedev degrees

DOI10.1215/00294527-2010-034zbMath1232.03029OpenAlexW1974918649MaRDI QIDQ628800

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

intermediate logicsBrouwer algebrasMedvedev degrees

Mathematics Subject Classification ID

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

Related Items

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