The minimal complementation property above 0′
Andrew E. M. Lewis · Mathematical logic quarterly · 2005
Abstract Let us say that any (Turing) degree d > 0 satisfies the minimal complementation property (MCP) if for every degree 0 < a < d there exists a minimal degree b < d such that a ∨ b = d (and therefore a ∧ b = 0). We show that every degree d ≥ 0′ satisfies MCP. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)