Sciweavers

Share
AML
2011

Topological aspects of the Medvedev lattice

7 years 10 months ago
Topological aspects of the Medvedev lattice
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.
Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi
Added 24 Aug 2011
Updated 24 Aug 2011
Type Journal
Year 2011
Where AML
Authors Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi
Comments (0)
books