Set theory
Er beschäftigt sich mit Rekursionstheorie, axiomatischer Mengenlehre (mit Verbindungen zur Modelltheorie), deskriptiver Mengenlehre.