Some Quotient Lattices of the Medvedev Lattice

DOI10.1002/MALQ.19910370905zbMATH Open0702.03021OpenAlexW2132240793MaRDI QIDQ3480025FDOQ3480025

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)

Cited In (11)

• 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
• A Note on Closed Degrees of Difficulty of the Medvedev Lattice

   Recommendations

• Embedding Brouwer algebra in the Medvedev lattice 👍 👎
• Some remarks on the algebraic structure of the Medvedev Lattice 👍 👎
• Title not available (Why is that?) 👍 👎
• On some filters and ideals of the Medvedev lattice 👍 👎
• On the structure of the Medvedev lattice 👍 👎

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)