Some remarks on the algebraic structure of the Medvedev Lattice
From MaRDI portal
Publication:3481688
DOI10.2307/2274668zbMath0703.03022OpenAlexW2059499920MaRDI QIDQ3481688
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274668
Heyting algebraBrouwer algebraMuchnik latticeMedvedev latticedegrees of difficultydegrees of enumerabilityDyment lattice
Structure and representation theory of distributive lattices (06D05) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items
The Medvedev lattice of computably closed sets ⋮ A Survey of Mučnik and Medvedev Degrees ⋮ Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism ⋮ Basic subtoposes of the effective topos ⋮ On the structure of the Medvedev lattice ⋮ Effectively closed mass problems and intuitionism ⋮ Intuitionistic logic and Muchnik degrees ⋮ On some filters and ideals of the Medvedev lattice ⋮ The finite intervals of the Muchnik lattice ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ On the algebraic structure of Weihrauch degrees ⋮ Constructive logic and the Medvedev lattice ⋮ Kripke models, distributive lattices, and Medvedev degrees ⋮ Coding true arithmetic in the Medvedev and Muchnik degrees ⋮ Comparing the degrees of enumerability and the closed Medvedev degrees
Cites Work