\({\cal P}_w\) Is Not a Heyting Algebra

  • Kojiro Higuchi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6158)

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].

Keywords

\(\Pi^0_1\) classes weak reducibility Heyting algebras 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Simpson, S.G.: Mass problems and randomness. Bulletin of Symbolic Logic 11, 1–27 (2005)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Simpson, S.G.: Mass problems and intuitionism. Notre Dame Journal of Formal Logic 49, 127–136 (2008)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Simpson, S.G.: An extension of the recursively enumerable Turing degrees. Journal of the London Mathematical Society 75, 287–297 (2007)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Terwijn, S.A.: The Medvedev lattice of computably closed sets. Archive for Mathematical Logic 45, 179–190 (2006)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kojiro Higuchi
    • 1
  1. 1.Mathematical instituteTohoku UniversityMiyagiJapan

Personalised recommendations