Skip to main content
    • Aa
    • Aa

Comparing the Medvedev and Turing degrees of Π01 classes


Every co-c.e. closed set (Π01 class) in Cantor space is represented by a co-c.e. tree. Our aim is to clarify the interaction between the Medvedev and Muchnik degrees of co-c.e. closed subsets of Cantor space and the Turing degrees of their co-c.e. representations. Among other results, we present the following theorems: if v and w are different c.e. degrees, then the collection of the Medvedev (Muchnik) degrees of all Π01 classes represented by v and the collection represented by w are also different; the ideals generated from such collections are also different; the collections of the Medvedev and Muchnik degrees of all Π01 classes represented by incomplete co-c.e. sets are upward dense; the collection of all Π01 classes represented by K-trivial sets is Medvedev-bounded by a single Π01 class represented by an incomplete co-c.e. set; and the Π01 classes have neither nontrivial infinite suprema nor infima in the Medvedev lattice.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

G. Barmpalias , A. C. Douglas , B. R. Jeffrey and R. Weber (2009) K-triviality of closed sets and continuous functions. Journal of Logic and Computation 19 (1) 316.

G. Barmpalias and A. Nies (2011) Upper bounds on ideals in the computably enumerable Turing degrees. Annals of Pure and Applied Logic 162 (6) 465473.

S. Binns (2003) A splitting theorem for the Medvedev and Muchnik lattices. Mathematical Logic Quarterly 49 (4) 327335.

S. Binns (2007) Hyperimmunity in $2^\mathbb{N}$ . Notre Dame Journal of Formal Logic 48 (2) 293316.

D. A. Cenzer and P. G. Hinman (2003) Density of the Medvedev lattice of Π0 1 classes. Archive for Mathematical Logic 42 (6) 583600.

P. Cholak , R. Coles , R. Downey and E. Herrman (2001) Automorphism of the lattice of Π0 1 classes: Perfect thin classes and anc degrees Transactions of the American Mathematical Society 353 48994924.

C. G. Jockusch and R. I. Soare (1972) Π0 1 classes and degrees of theories. Transactions of the American Mathematical Society 173 3356.

A. G. Melnikov and A. Nies (2013) K-triviality in computable metric spaces. Proceedings of the American Mathematical Society 141 (8) 28852899.

A. Nies (2009) Computability and Randomness, Oxford Logic Guides. Oxford University Press 433.

S. G. Simpson (2011) Mass problems associated with effectively closed sets. Tohoku Mathematical Journal 63 (4) 489517.

R. I. Soare (1987) Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer, Heidelberg XVIII+437 pp.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 8 *
Loading metrics...

Abstract views

Total abstract views: 52 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd June 2017. This data will be updated every 24 hours.