Recursively enumerable classes and their application to recursive sequences of formal theories Marian Boykan Pour-ElHilary Putnam OriginalPaper Pages: 104 - 121