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.

[1]  E Z Dyment.  On Some Properties of the Medvedev Lattice , 1976 .

[2]  Stefan Kuhr,et al.  Department of Mathematics and Computer Science , 2002 .

[3]  Andrea Sorbi,et al.  Some Quotient Lattices of the Medvedev Lattice , 1991, Math. Log. Q..

[4]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[5]  Stephen G. Simpson,et al.  Mass Problems and Intuitionism , 2008, Notre Dame J. Formal Log..

[6]  Andrea Sorbi,et al.  Embedding Brouwer Algebras in the Medvedev Lattice , 1991, Notre Dame J. Formal Log..

[7]  Gerald E. Sacks,et al.  On Suborderings of Degrees of Recursive Unsolvability , 1961 .

[8]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[9]  Richard A. Platek.  A note on the cardinality of the Medvedev lattice , 1970 .

[10]  Sebastiaan Terwijn,et al.  The Medvedev lattice of computably closed sets , 2006, Arch. Math. Log..

[11]  M. G. Rozinas.  Partial degrees of immune and hyperimmune sets , 1978 .

[12]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[13]  Andrea Sorbi,et al.  Intermediate logics and factors of the Medvedev lattice , 2006, Ann. Pure Appl. Log..

[14]  Sebastiaan Terwijn.  On the structure of the Medvedev lattice , 2008, J. Symb. Log..

[15]  Paul Shafer,et al.  Characterizing the Join-Irreducible Medvedev Degrees , 2011, Notre Dame J. Formal Log..

[16]  H. Priestley,et al.  Distributive Lattices , 2004 .

[17]  Manuel Lerman,et al.  Degrees of Unsolvability: Local and Global Theory , 1983 .

[18]  Andrea Sorbi,et al.  On some filters and ideals of the Medvedev lattice , 1990, Arch. Math. Log..

[19]  Andrea Sorbi,et al.  A Note an Closed Degrees of Difficulty of the Medvedev Lattice , 1996, Math. Log. Q..