Albert-Ludwigs-Universität Freiburg
Fakultät für Mathematik und Physik
Mathematisches Institut
Abteilung für mathematische Logik
Auf dieser Seite:
Preprints und Vorlesungsskripte
/ Preprints and Course Material / Prépublications et Polycopiés
Übungsblätter
/ Exercises / Exercices
Dissertationen
/ Dissertations / Thèses de doctorat
Diplomarbeiten
/ Diploma Theses / Mémoires de diplôme
Preprints und Skripte
Preprints und Skripte finden Sie auf den Seiten der einzelnen
Mitarbeiter
Preprints and lecture notes on the individual pages of the institute's
staff
Vous trouvez les ürépublications et polycopiés sur les pages individuelles des
membres
de l'institut.
Beachten Sie auch den MODNET
preprint server
Schließlich eine Seite mit
alten Preprints
Übungsblätter / Exercises / Exercices
Zum Übungsblätterarchiv
Dissertationen / Dissertations / Thèses de doctorat
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 / Diploma Theses / Mémoires de diplôme
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
).
Letzte Änderung: Mai 2007, Webmeister: logik_ÄT_math.uni-freiburg.de.