Abstract
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.
Citation
Stephen G. Simpson. "Mass Problems and Intuitionism." Notre Dame J. Formal Logic 49 (2) 127 - 136, 2008. https://doi.org/10.1215/00294527-2008-002
Information