Prof. Dr. Wolfram Pohlers, Institut für Mathematische Logik und Grundlagenforschung