Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe. Michael Deutsch (1975) Archiv für mathematische Logik und Grundlagenforschung