Arbeitsgruppe Mathematische Logik und Theoretische Informatik
Der erste Teil des Seminars behandelt Themen aus der deskriptiven
Mengenlehre. Der zweite Teil (nach Weihnachten) behandelt Themen
aus Logik und Modelltheorie.
Für das Seminar war eine vorherige Anmeldung erforderlich, mittlerweile sind alle Vorträge vergeben.
Zur Einarbeitung steht neben der unten angegebenen Literatur auch ein (noch in Bearbeitung befindeliches) Skript von Herrn Gloede zur Verfügung.
Seminar 'Mengenlehre und Logik'
Wintersemester 2004/05
|
|
|
Dozent |
Prof. Dr. Klaus Gloede
INF 294, Zimmer 012 email: gloede@math.uni-heidelberg.de Sprechstunde: Di 14-15 h (i.A. auch in der vorlesungsfreien Zeit) Telefonisch ist Prof. Gloede nicht zu erreichen; Sie können Ihn jedoch außerhalb der Sprechstunde natürlich auch nach der Vorlesung persönlich ansprechen. Jan Reimann INF 294, Zimmer 006 Tel.: 06221-54-6282 email: reimann@math.uni-heidelberg.de Sprechstunde: Mi 14-15 h (und n.V.) persönliche home page: http://math.uni-heidelberg.de/logic/reimann/reimann.html |
|
|
|
|
22.10.04
|
Vorbesprechung |
|
|
|
|
05.11.04
|
K. Gloede: Einleitung: Perfekte Polnische Räume ([M] 1.A, [K] I.3) BOREL-Mengen endlicher Ordnung ([M] 1.B) |
|
|
|
|
12.11.04
|
Th. Krähling: Abschlußeigenschaften BORELscher Mengen ([M] 1.C) |
|
|
|
|
19.11.04
|
A. Omar Aziz: BOREL-Mengen beliebiger Ordnung als stetige Bilder des BAIREschen Raumes ([M] 1.F, 1.G.5, [L] VII.2.26, [K] II.13) |
|
|
|
|
26.11.04
|
M. Schmid: Hierarchie-Sätze ([M] 1.D, [L] II.22) |
|
|
|
|
03.12.04
|
A. Schick: Projektive Mengen ([M] 1.E) |
|
|
|
|
10.12.04
|
J. Lechner: Der Satz von SOUSLIN ([K] II.14) |
|
|
|
|
17.12.04
|
I. Popova: BAIREsche Kategorie (Teile von [K] I.8) |
|
|
|
|
14.01.05
|
M. Speth: Satz von Fraïssé (Ebbinghaus-Flum-Thomas: Einführung in die Mathematische Logik, Kap. XII) |
|
|
|
|
21.01.05
|
G. Rudert: Ehrenfeucht-Spiele (Todorcevic-Väänäen: Trees and Ehrenfeucht-Fraïssé games. Annals Pure Appl. Logic 1090 (1999), 69-97) |
|
|
|
|
28.01.05
|
M. Gharaviesfahani: Ehrenfeucht-Spiele (Rautenberg, W.: Einführung in die Mathematische Logik, 5.3) |
|
|
|
|
04.02.05
|
Hamza Gürdal: Quantorenelimination für die Theorie der Gleichheit und die Theorie der dichten linearen Ordnung (Chang-Keisler: Model Theory, 1.5) |
|
|
|
Literatur |
[K] Kechris, A.S.: Classical Descriptive Set Theory, Springer 1995 [L] Levy, A.: Basic Set Theory, Springer 1979 [M] Moschovakis, Y.N.: Descriptive Set Theory, Amsterdam 1980 |
|
|
|
|
|
|
Verantwortlich: Jan
Reimann
|
|
Letzte Änderung:
20. Oktober 2004
|