Embedding Brouwer algebra in the Medvedev lattice
From MaRDI portal
Publication:1812988
DOI10.1305/ndjfl/1093635751zbMath0737.06009OpenAlexW2063323156MaRDI QIDQ1812988
Publication date: 25 June 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635751
Related Items
The Medvedev lattice of computably closed sets ⋮ A Survey of Mučnik and Medvedev Degrees ⋮ Intuitionistic logic and Muchnik degrees ⋮ The finite intervals of the Muchnik lattice ⋮ Intermediate logics and factors of the Medvedev lattice ⋮ Topological aspects of the Medvedev lattice ⋮ 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 ⋮ WEIHRAUCH GOES BROUWERIAN ⋮ Generalizations of the weak law of the excluded middle
