1. Begründung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit;Ackermann;Math. Ann.,1925
2. Zur Widerspruchsfreiheit der Zahlentheorie;Ackermann;Math. Ann.,1940
3. Epsilon substitution method for ID1(Π10∨Σ10);Arai;Ann. Pure Appl. Logic,2003
4. Une extension de lʼinterpretation de Goedel a lʼanalyse et la application a lʼelimination des coupures dans lʼanalyse et la theorie des types;Girard,1971
5. Probleme der Grundlegung der Mathematik;Hilbert;Math. Ann.,1929