Lewis-Pye, Andrew, Shore, Richard A. and Sorbi, Andrea (2011) Topological aspects of the Medvedev lattice. Archive for Mathematical Logic, 50 (3-4). pp. 319-340. ISSN 0933-5846
Full text not available from this repository.Abstract
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.
Item Type: | Article |
---|---|
Official URL: | http://link.springer.com/journal/153 |
Additional Information: | © 2011 Springer |
Divisions: | Mathematics |
Subjects: | Q Science > QA Mathematics |
Date Deposited: | 06 Aug 2013 11:48 |
Last Modified: | 12 Dec 2024 00:01 |
URI: | http://eprints.lse.ac.uk/id/eprint/51452 |
Actions (login required)
View Item |