Non‐Complementedness and Non‐Distributivity of Kleene Degrees
Hisato Muraki · Mathematical logic quarterly · 1997
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.