## Abstract Concerning Post's problem for Kleene degrees and its relativization, Hrbacek showed in [1] and [2] that if __V__ = __L__, then Kleene degrees of coanalytic sets are dense, and then for all __K__ ⊆^ω^ω, there are N~1~ sets which are Kleene semirecursive in __K__ and not Kleene recursive
Non-Complementedness and Non-Distributivity of Kleene Degrees
✍ Scribed by Hisato Muraki
- Publisher
- John Wiley and Sons
- Year
- 1997
- Tongue
- English
- Weight
- 539 KB
- Volume
- 43
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 non‐distributive.
📜 SIMILAR VOLUMES
## 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__ ‐degre
It is shown that the lattice of all fuzzy ideals of a ring is not distributive.