## Abstract Say that a nonzero c. e. degree **__b__** is a quasi‐complement of a c. e. degree **__a__** if **__a__** ∩ **__b__** = **0** and **__a__** ∪ **__b__** is high. It is well‐known (due to Shore) that each cappable degree has a high quasi‐complement. However, by the existence of the almost
Non-isolated quasi-degrees
✍ Scribed by Ilnur I. Batyrshin
- Publisher
- John Wiley and Sons
- Year
- 2009
- Tongue
- English
- Weight
- 167 KB
- Volume
- 55
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
We show that non‐isolated from below 2‐c.e. Q ‐degrees are dense in the structure of c.e. Q ‐degrees. We construct a 2‐c.e. Q ‐degree, which can't be isolated from below not only by c.e. Q ‐degrees, but by any Q ‐degree. We also prove that below any c.e. Q ‐degree there is a 2‐c.e. Q ‐degree, which is non‐isolated from below and from above (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## Abstract In this note, we study the complementedness and the distributivity of upper semilattices of Kleene degrees assuming __V = L. K__ denotes the upper semilattice of all Kleene degrees. We prove that if __V = L__, then some sub upper semilattices of __K__ are non‐complemented and some are n