Title: Der Verband der rekursiv aufzählbaren Mengen (Entscheidungsproblem)
Subjects: Gödel's theorem, Lattice theory, Recursion theory, Set theory