Abstract
Let \({\cal P}_w\) denote the set of weak degrees of nonempty \(\Pi^0_1\) classes in the Cantor space 2ω. We show that \({\cal P}_w\) is not a Heyting algebra. This is a solution to a question presented by Simpson [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jockusch Jr., C.G., Soare, R.I.: \(\Pi^0_1\) classes and degrees of theories. Transactions of the American Mathematical Society 173, 35–56 (1972)
Simpson, S.G.: Mass problems and randomness. Bulletin of Symbolic Logic 11, 1–27 (2005)
Simpson, S.G.: Mass problems and intuitionism. Notre Dame Journal of Formal Logic 49, 127–136 (2008)
Simpson, S.G.: An extension of the recursively enumerable Turing degrees. Journal of the London Mathematical Society 75, 287–297 (2007)
Terwijn, S.A.: The Medvedev lattice of computably closed sets. Archive for Mathematical Logic 45, 179–190 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Higuchi, K. (2010). \({\cal P}_w\) Is Not a Heyting Algebra. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds) Programs, Proofs, Processes. CiE 2010. Lecture Notes in Computer Science, vol 6158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13962-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-13962-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13961-1
Online ISBN: 978-3-642-13962-8
eBook Packages: Computer ScienceComputer Science (R0)