1980], Not every finite lattice is embeddable in the recursively enumerable degrees, Adv (0)

by A H Lachlan, R I Soare
Venue:in Math