On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0

Dong Ping Yang. On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0 . Journal of Symbolic Logic, 49(2):488-502, 1984.

Abstract

Abstract is missing.