250168 VO Introduction to mathematical logic (2020S)
Labels
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Details
Sprache: Englisch
Prüfungstermine
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Lecture material and further information regarding the lectures on March 17,19, 24, 26 and 31 will be posted on the Moodle website of the course.
Dienstag
03.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
05.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
10.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
17.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
19.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
24.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
26.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
31.03.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
02.04.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
21.04.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
28.04.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
30.04.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
05.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
07.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
12.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
14.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
19.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Dienstag
26.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
28.05.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Donnerstag
04.06.
08:45 - 11:00
Seminarraum , UZA Augasse 2-6, 5.Stock Kern D SR5.48
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
This is a graduate levle course in mathematical logic. Apart from compactness and incompleteness, we will cover Vaught's never two theorem, as well as (time permitting) Morley's famous theorem, that a theory with a unique model in some uncountable cardinality, has a unique model in every uncountable cardinality.
Art der Leistungskontrolle und erlaubte Hilfsmittel
The final grade will be based on an oral examination.
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
The material covered in the lecture.
Literatur
1) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press
2) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics
3) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.
2) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics
3) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.
Zuordnung im Vorlesungsverzeichnis
MLOL
Letzte Änderung: Mo 07.09.2020 15:21