Characterizing the Join-Irreducible Medvedev Degrees

We characterize the join-irreducible Medvedev degrees as the degrees of complements of Turing ideals, thereby solving a problem posed by Sorbi. We use this characterization to prove that there are Medvedev degrees above the second-least degree that do not bound any join-irreducible degrees above this second-least degree. This solves a problem posed by Sorbi and Terwijn. Finally, we prove that the filter generated by the degrees of closed sets is not prime. This solves a problem posed by Bianchini and Sorbi.

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

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

[3]  F. Z. Dyment Exact bounds of denumerable collections of degrees of difficulty , 1980 .

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

[5]  E. Z. Skvortsova A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice , 1988 .

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

[7]  V. Jankov The Calculus of the Weak "law of Excluded Middle" , 1968 .

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

[9]  Andrea Sorbi,et al.  Topological aspects of the Medvedev lattice , 2011, Arch. Math. Log..

[10]  Sebastiaan Terwijn Constructive Logic and the Medvedev Lattice , 2006, Notre Dame J. Formal Log..

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

[12]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[13]  Birgit Truust Poulsen The Medvedev lattice of degrees of difficulty , 1970 .

[14]  Andrea Sorbi Some Remarks on the Algebraic Structure of the Medvedev Lattice , 1990, J. Symb. Log..

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

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

[17]  Andrea Sorbi,et al.  The Medvedev lattice of degrees of difficulty , 1996 .