Some remarks on the algebraic structure of the Medvedev Lattice

DOI10.2307/2274668zbMath0703.03022OpenAlexW2059499920MaRDI QIDQ3481688

Andrea Sorbi

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

zbMATH Keywords

Heyting algebraBrouwer algebraMuchnik latticeMedvedev latticedegrees of difficultydegrees of enumerabilityDyment lattice

Mathematics Subject Classification ID

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

• Intuitionistic diagonalizable algebras
• Automorphism bases for degrees of unsolvability
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item