Universität Wien

250168 VO Introduction to mathematical logic (2020S)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Für diese LV an-/abmelden

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.

Zuordnung im Vorlesungsverzeichnis

MLOL

Letzte Änderung: Mi 06.03.2024 00:18