Recursively enumerable sets and degrees
Recursively enumerable sets and degrees
Embedding the diamond in the &sgr;2 enumeration degrees
Journal of Symbolic Logic
High Minimal Pairs in the Enumeration Degrees
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Hi-index | 0.00 |
We show that the diamond lattice can be embedded into the Σ02 enumeration degrees preserving 0 and 1, with atoms one high and Π01, and the other one low.