Topological aspects of the Medvedev lattice
- 45 Downloads
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated by these degrees; the prime ideal generated by the dense degrees and its complement, a prime filter; the filter generated by the nonzero closed degrees and the filter generated by the nonzero discrete degrees. We give a complete picture of the relationships of inclusion holding between these sublattices, these filters, and this ideal. We show that the sublattice of the closed Medvedev degrees is not a Brouwer algebra. We investigate the dense degrees of mass problems that are closed under Turing equivalence, and we prove that the dense degrees form an automorphism base for the Medvedev lattice. The results hold for both the Medvedev lattice on the Baire space and the Medvedev lattice on the Cantor space.
KeywordsMedvedev reducibility Baire space Cantor space
Mathematics Subject Classification (2000)03D30
Unable to display preview. Download preview PDF.
- 3.Cooper S.B.: Computability Theory. Chapman & Hall/CRC Mathematics, Boca Raton, London, New York, Washington, DC (2003)Google Scholar
- 6.Kechris A.S.: Classical Descriptive Set Theory, volume 156 of Graduate Texts in Mathematics. Springer–Verlag, Heidelberg (1995)Google Scholar
- 7.Lerman M.: Degrees of Unsolvability. Perspectives in Mathematical Logic. Springer–Verlag, Heidelberg (1983)Google Scholar
- 8.Medevdev Y.T.: Degrees of difficulty of the mass problems. Dokl. Nauk. SSSR 104(4), 501–504 (1955)Google Scholar
- 12.Rozinas, M.: The semilattice of e-degrees. In: Recursive Functions, pp. 71–84. Ivanov. Gos. Univ., Ivanovo (1978). (Russian) MR 82i:03057Google Scholar
- 14.Shafer, P.: Characterizing the join-irreducible Medvedev degrees. To appear in Notre Dame J. Formal Log.Google Scholar
- 17.Soare R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic, Omega Series. Springer–Verlag, Heidelberg (1987)Google Scholar