Ein ausgezeichnetes Modell für die intuitionistische Typenlogik. Wilfried Buchholz (1975) Archiv für mathematische Logik und Grundlagenforschung
Errata to the paper "Generalizing Vaught sentences from ω to strong cofinality ω", Fundamenta Mathematicae 82 (1974), pp. 105-119 M. Makkai (1975) Fundamenta Mathematicae