Die Forschung am Institut wird als Einzelforschung betrieben.
Ihr Schwerpunkt liegt im Bereich der mathematischen
Grundlagenforschung, insbesondere in Mengenlehre und
Beweistheorie. Kooperationen bestehen mit den Logikern in Bonn,
München, Utrecht, Ohio, Leeds und Stanford.