Title: The structure and elementary theory of the recursively enumerable sets