The upper semilattice of degrees 0 is complemented (1981)

by D Posner
Venue:J. Symb. Logic