Some Quotient Lattices of the Medvedev Lattice

DOI10.1002/MALQ.19910370905MaRDI QIDQ3480025zbMATH OpenOpenAlexFDO

Authors Andrea Sorbi

Publication date 1991

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910370905

zbMATH Keywords

Brouwer algebraMedvedev latticedegrees of difficultydegrees of solvability

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Embedding Brouwer algebra in the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• scientific article; zbMATH DE number 841094
• On some filters and ideals of the Medvedev lattice
• On the structure of the Medvedev lattice

Cited in

(12)

• Characterizing the join-irreducible Medvedev degrees
• A Note on Closed Degrees of Difficulty of the Medvedev Lattice
• The Medvedev lattice of computably closed sets
• Effectively closed mass problems and intuitionism
• On some filters and ideals of the Medvedev lattice
• A survey of Mučnik and Medvedev degrees
• Intermediate logics and factors of the Medvedev lattice
• Generalizations of the weak law of the excluded middle
• Constructive logic and the Medvedev lattice
• Some remarks on the algebraic structure of the Medvedev Lattice
• Natural factors of the Medvedev lattice capturing IPC
• Coding true arithmetic in the Medvedev and Muchnik degrees

This page was built for publication: Some Quotient Lattices of the Medvedev Lattice

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