Mass Problems and Intuitionism
Stephen G. Simpson · Notre Dame Journal of Formal Logic · 2008
Let P w be the lattice of Muchnik degrees of nonempty Π 1 0 subsets of 2 ω . The lattice P w has been studied extensively in previous publications. In this note we prove that the lattice P w is not Brouwerian.