Not every finite lattice is embeddable in the recursively enumerable degrees

A.H Lachlan, R.I Soare
1980 Advances in Mathematics  
doi:10.1016/0001-8708(80)90027-4 fatcat:2vwdewhs2zf5hjsm4dfcasrhqa