Embedding nondistributive lattices in the recursively enumerable degrees (1970)

by A Lachlan
Venue:in Conference in Mathematical Logic