Definability and undecidability in recursion theoretic semilattices - Nies, André (1992)
Keywords: Hochschulschrift