Let be the lattice of Muchnik degrees of nonempty subsets of . The lattice has been studied extensively in previous publications. In this note we prove that the lattice is not Brouwerian.
"Mass Problems and Intuitionism." Notre Dame J. Formal Logic 49 (2) 127 - 136, 2008. https://doi.org/10.1215/00294527-2008-002