Preprints
Preprints und Skripte
Dissertationen
- Hans Adler né Scheuermann: Explanation of Independence, Dissertation 2005.
- Christine Altseimer: Contributions to the Classification of Tame K*-groups of Odd Type and Other Applications of 2-local Theory, Dissertation 1998 (dvi, ps.gz).
- Uwe Bosse: Zur Modelltheorie der Fixpunktlogik, Dissertation 1994 (ps.gz).
- Markus Frick: Easy Instances for Model-Checking, Dissertation 2001 (pdf, ps.gz).
- Gunter Geisler: Zur Modelltheorie von Moduln, Dissertation 1994 (dvi, ps.gz).
- Martin Grohe: The Structure of Fixed-Point Logics, Dissertation 1994 (ps.gz).
- Henrik Imhof: Fixed-Point Logics and Generalized Quantifiers in Descriptive Complexity, Dissertation 1996 (ps.gz).
- Ingo Kraus: Lokale Stabilität in generischen Modellen, Dissertation 2001 (dvi, ps.gz).
Diplomarbeiten
- Isolde Adler Spiele als Hilfsmittel zu Strukturuntersuchungen bei Graphen und Hypergraphen, Diplomarbeit 2002
- Jens Böger: Modelltheorie von Körpern mit paarweise kommutierenden Derivationen, Diplomarbeit 1996 (dvi, ps.gz).
- Jochen Förster Erweiterungen von Theoirien ohne Unabhängigkeitseigenschaft durch Indiscernibles, Diplomarbeit 2004
- Nina Frohn Unbeschränkte PAC-Körper sind nicht einfach, Diplomarbeit 2003
- Bernd Kapp: Über gewisse Klassen von mehrfach bewerteten Körpern, Diplomarbeit 2001 (dvi, ps.gz)
- Ingo Kraus: Die Geometrie lokal modularer Typen, Diplomarbeit 1995 (dvi, ps.gz)
- Max Kubierschky: Remisfreie Spiele, Fixpunktlogiken und Normalformen, Diplomarbeit 1995 (ps.gz).
- Hans Scheuermann: Unabhängigkeitsrelationen, Diplomarbeit 1997 (ps.gz).