Albert-Ludwigs-Universität Freiburg Mathematische Fakultät Institut für mathematische Logik und Grundlagen der Mathematik

Oberseminar Mathematische Logik, SS 2001

Termin und Ort:
Donnerstag 14-16 Uhr, SR 318, Eckerstraße 1.
Nachholtermin: Di 12. Juni, 14-16 Uhr, SR 218

Thema des Seminars:
In diesem Seminar werden neuere Arbeiten aus Grenzgebieten zwischen endlicher Modelltheorie und Stabilitätstheorie besprochen.
Genauer wird es um Logiken L_k mit endlich vielen Variablen gehen. Zwei Fragen werden uns im Besonderen beschäftigen:

• Welche Theorien sind mit endlich vielen Variablen axiomatisierbar?
• In welchen (endlichen) Mächtigkeiten hat eine (vollständige) L_k-Theorie Modelle?

Planung:

26. April	Mark Weyer	"Logiken mit endlich vielen Variablen"
3. Mai	Isolde Adler	"Axiomatisierbarkeit mit endlich vielen Variablen"
10. Mai		(Fortsetzung + Bernhard Herwig)
31. Mai	Dirk Stellmacher	"Streng minimale Mengen"
12. Juni		(Fortsetzung + Markus Junker)
21. Juni	Sebastian Holzmann	"Robinsons 6. Problem"
28. Juni	Fabian Beyer	"Simon Thomas' Beispiel"
5. Juli		(Fortsetzung)
	Immanuel Herrmann	"Poizats Arbeiten über Lk"
12. Juli		(Fortsetzung)
23. Juli	Jochen Förster	"Stabilität in endlich vielen Variablen"

Litaratur:
Shawn Hedman "Strongly minimal theories and finite variable logics", preprint 2000.
Bruno Poizat "Deux ou trois choses que je sais de L_n", Journal of Symbolic Logic 47 Nr.3, 1982, S.641-658.
Simon Thomas "Theories with finitely many models", Journal of Symbolic Logic 51 Nr.2, 1986, S.374-376.
Marko Djordjevic "Stability theory in finite variable logic", Uppsala Dissertations in Mathematics 16, 2000.