The upper semilattice of degrees ≤ 0′ is complemented (1981)

by David B Posner
Venue:J. Symbolic Logic