Embedding distributive lattices preserving 1 below a nonzero recursively enumerable turing degree - Ambos-Spies, Klaus; Decheng, Ding; Fejer, Peter A. (Logical methods, 1993)
Gesehen am 12.06.2023