Open Access
2008 Mass Problems and Intuitionism
Stephen G. Simpson
Notre Dame J. Formal Logic 49(2): 127-136 (2008). DOI: 10.1215/00294527-2008-002

Abstract

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.

Citation

Download 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

Published: 2008
First available in Project Euclid: 15 May 2008

zbMATH: 1141.03018
MathSciNet: MR2402036
Digital Object Identifier: 10.1215/00294527-2008-002

Subjects:
Primary: 03D30
Secondary: 03B20 , 03D28 , 03D80 , 03F55 , 06D20

Keywords: Brouwerian lattice , degrees of unsolvability , Heyting algebra , intuitionism , mass problems

Rights: Copyright © 2008 University of Notre Dame

Vol.49 • No. 2 • 2008
Back to Top