Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik. Dieter Klemke (1971) Archiv für mathematische Logik und Grundlagenforschung
Elementary versions of the Sylvester-Gallai theorem. Pambuccian, Victor (2008) Beiträge zur Algebra und Geometrie
Errata to the paper "Generalizing Vaught sentences from ω to strong cofinality ω", Fundamenta Mathematicae 82 (1974), pp. 105-119 M. Makkai (1975) Fundamenta Mathematicae
Estimation of the algorithmic complexity of classes of computable models. Pavlovskij, E.N. (2008) Sibirskij Matematicheskij Zhurnal