1975a, "On Kalmar's consistency proof and a generalization of the notion of omega-consistency," "Archiv für Mathematische Logik und Grundlagenforschung 17": 3-7.