Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. P. Lorenzen (1972) Archiv für mathematische Logik und Grundlagenforschung
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