Edited Books

• Benedikt Löwe, Wolfgang Malzkorn, Thoralf Räsch (eds.)::Foundations of the Formal Sciences II. Applications of Mathematical Logic to Philosophy and Linguistik, Papers of a Conference held in Bonn, Nov 10-13, 2000 [Trends in Logic 17]
• Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.): Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III", Vienna (Austria), Sep 21-24, 2001, Kluwer Academic Publishers,  Dordrecht 2004 [Trends in Logic 26]
• Benedikt Löwe, Volker Peckhaus, Thoralf Räsch (eds.): Foundations of the Formal Sciences IV: The History of the Concept of the formal Sciences, Bonn (Germany), Feb 14-17, 2003, College Publications, Studies in Logic, May 2006
• Werner Ballmann, Thoralf Räsch (eds.): Jahrestagung DMV 2006, Bonn, 18.-22. September 2006, Bonn, Oktober 2006
• Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.): Foundations of the Formal Sciences V: Infinite Games, Bonn (Germany), Nov 26-29, 2004, College Publications, Studies in Logic, Dec 2007

    

Papers

• Diplomarbeit: Erweiterungen von Einbettungen [pdf]

• Handout about my diplom thesis [pdf]
  (erschienen in: Acta Univ. Carol., Math. Phys. 42, No.2, pp.75-88, 2001)

• Preprint: Pi^1_1-Determiniertheit und Sharps [pdf]

• Introduction to Guarded Logic
  (erschienen in: Lecture Notes in Computer Sciences 2500, Springer, pp.312-341, 2002)

• (joint with R.-D. Schindler) A new condensation principle [pdf]
  (erschienen in: Archive for Mathematical Logic, Springer, Vol 44, No. 2, pp.159-166, Feb 2005)

• Ph.D. Thesis 
  [PDF's: Summary, complete; Title, TOC, 1, 2, 3, 4, 5, 6, 7, 8, Appendix, Bibliography, Index]