Former research projects

• Höhere Kernmodelle, KO 1353/1, 1991-1996
• Theorie und Anwendungen von Kernmodellen für Einbettungskardinalzahlen, DFG project KO 1353/1, 1992-1998
• Entwicklung und Anwendungen einer neuen Feinstrukturtheorie für die konstruktible Hierarchie, DFG project KO 1353/2-1, 2000-2003
• "Wissensformate", interfakultär geförderte Forschergruppe an der Universität Bonn, 2003 - 2004
• DFG-NWO Bilateral Cooperation Project KO 1353/3-1,DN 61-532 Determiniertheitsaxiome, Infinitäre Kombinatorik und ihre Wechselwirkungen (2003-2006; Bold, Koepke, Löwe, van Benthem).