A Necessary and Sufficient Condition for Embedding Principally Decomposable Finite Lattices into the Computably Enumerable Degrees

Manuel Lerman. A Necessary and Sufficient Condition for Embedding Principally Decomposable Finite Lattices into the Computably Enumerable Degrees. Annals of Pure and Applied Logic, 101(2-3):275-297, 2000.

Abstract

Abstract is missing.