Definable structures in the lattice of recursively enumerable sets

Abstract

It will be shown that in the lattice of recursively enumerable sets one can define elementarily with parameters a structure isomorphic to ( ), i.e. isomorphic to the lattice of sets together with a unary predicate selecting out exactly the sets.