Countable initial segments of the degrees ofunsolvability (1976)

by A H Lachlan, R Lebeuf
Venue:J. Symbolic Logic