Metamathematische Begriffe in Standardtheorien. Giorgio Germano (1970) Archiv für mathematische Logik und Grundlagenforschung
Modelltheorie und Logik. H.-D. Ebbinghaus (1974/1975) Jahresbericht der Deutschen Mathematiker-Vereinigung
Models of second order arithmetic with definable Skolem functions Andrzej Mostowski (1972) Fundamenta Mathematicae
Mostowski's collapsing function and the closed unbounded filter K. Barwise (1974) Fundamenta Mathematicae