Lecture Notes

 

books

Edited Books

        

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]