We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Density of the Medvedev lattice of Π[sup0][sub1].
- Authors
Cenzer, Douglas; Hinman, Peter G.
- Abstract
The partial ordering of Mcdvcdcv reducibility restricted to the family of Π[sub0]¹ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a Π[sub0][sub1] class, which we call a "c.c. separating class". We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublatticc generated by the c.c. separating classes.
- Publication
Archive for Mathematical Logic, 2003, Vol 42, Issue 6, p583
- ISSN
0933-5846
- Publication type
Academic Journal
- DOI
10.1007/s00153-002-0166-7