Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie. Gerhard Gentzen (1974) Archiv für mathematische Logik und Grundlagenforschung
Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem. H.A. Pogorzelski (1976) Journal für die reine und angewandte Mathematik
Disjunctive properties of intuitionistic systems. B. Scarpellini (1974) Archiv für mathematische Logik und Grundlagenforschung