Automorphisms of the lattice of recursively enumerable sets

Peter Cholak

Memoirs of the American Mathematical Society · 1995 · 39 citations · 0 references

Concepts

Abstract

Introduction The extension theorem revisited The high extension theorems The proof of the high extension theorem I The proof of the high extension theorem II Lowness notions in the lattice of r.e. sets Bibliography.