Dr. Gönenc Onay, Institut für Mathematische Logik und Grundlagenforschung