Undecidability and 1-types in the recursively enumerable degrees - Ambos-Spies, Klaus; Shore, Richard A. (Annals of pure and applied logic, 1993)
Elektronische Reproduktion der Druck-Ausgabe 13. Mai 2002