Arbeitsgruppe Mathematische Logik und Theoretische Informatik
Im Seminar werden Themen aus der Modelltheorie behandelt werden. Neben Kenntnissen in Mathematischer Logik sind für einige Vorträge auch Grundkenntnisse in Algebra Voraussetzung.
Für das Seminar war eine vorherige Anmeldung erforderlich, mittlerweile sind alle Vorträge vergeben.
Seminar 'Mathematische Logik'
Sommersemester 2005
|
|
|
Dozenten |
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. Dr. Jan Reimann INF 294, Zimmer 006 Tel.: 06221-54-6282 Sprechstunde: Di 14-15 h (und n.V.) persönliche Homepage: http://math.uni-heidelberg.de/logic/reimann/reimann.html |
|
|
|
|
14.04.05
|
Vorbesprechung |
|
|
|
|
12.05.05
|
Sunita Taubitz: Ultraprodukte und Kompaktheitssatz. [Ro] 4.1-4.3, pp. 63-71, [B-S] Ch.1 §§ 2-3, Ch.5 §§ 1-5 |
|
|
|
|
19.05.05
|
Jochen Kienberger: Stonescher Repräsentationssatz und Lindenbaum-Algebren. [Ro] 5.6, pp. 85-92, [B-S] Ch.1 §§ 5-6, Ch.2 §§ 2-4 |
|
|
|
|
02.06.05
|
Nikolas Löw: Atomlose Boolesche Algebren und Cantor-Räume. [B-S] Ch.1 §7 |
|
|
|
|
09.06.05
|
Stefan Stadtherr: Eliminationsmethoden: Quantorenelimination und Substrukturvollständigkeit. [Ro] 9.1, 9.2 |
|
|
|
|
16.06.05
|
Thorsten Kräling: Anwendung auf algebraische Theorien. [Ro] 9.4-9.5, [Ma] 3.2 |
|
|
|
|
23.06.05
|
Rene Wähner Realisieren und Auslassen von Typen (OTT). [C-K] 2.2, [Ma] 4.1, 4.2 |
|
|
|
|
30.06.05
|
Britta Meythaler Craigscher Interpolationssatz. [C-K] 2.2 |
|
|
|
|
07.07.05
|
Jens Lechner: Atomare Modelle und Primmodelle. [C-K] 2.3, [Ro] 6.3, [Ma] 4.2 |
|
|
|
Literatur |
[B-S] Bell-Slomson: Models and Ultraproducts. North Holland 1971 [C-K] Chang-Keisler: Model Theory. North Holland 1973/1993 [Ma] Marker D.C.: Model Theory: An Introduction. Springer 2002 [Ro] Rothmaler, Ph.: Einführung in die Modelltheorie. Spektrum 1995 |
|
|
|
|
|
|
Verantwortlich: Jan
Reimann
|
|
Letzte Änderung:
15. April 2005
|