On Families of Sets represented in Theories. Hilary Putnam Archiv für mathematische Logik und Grundlagenforschung
Recursively enumerable classes and their application to recursive sequences of formal theories. Boykan Pour-El; Marian; Hilary Putnam — 1965 Archiv für mathematische Logik und Grundlagenforschung