Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Gerhard Gentzen (1974) Archiv für mathematische Logik und Grundlagenforschung
Über Hilbert's reale und ideale Elemente. Horst Luckhardt (1975) Archiv für mathematische Logik und Grundlagenforschung
Un'estensione del teorema di Löb Giovanni Sambin (1974) Rendiconti del Seminario Matematico della Università di Padova