Universität Wien

250137 VO Model theory (2018S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Sprache: Englisch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

Times and dates for this lecture will be fixed during a preparatory meeting on March 1st at 12:00 in the lecture room of the Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101). If you have any questions or will not be able to participate in the preparatory meeting, please write me an e-mail.

  • Freitag 09.03. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 16.03. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 23.03. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 13.04. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 20.04. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 27.04. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 04.05. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 11.05. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 18.05. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 25.05. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 01.06. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 08.06. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 15.06. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 22.06. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Freitag 29.06. 15:00 - 16:30 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

This is a master level course in Model Theory. One of the main goals of the course is to provide a proof of the Theorem of Morley. The course will be self-contained and only preliminary knowledge as the one covered by standard bachelor level courses in logic will be assumed.

Detailed information about the lectures can be found here:

http://www.logic.univie.ac.at/~vfischer/model_theory_2018.pdf

Art der Leistungskontrolle und erlaubte Hilfsmittel

The final grade will be based on an oral examination.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

The content of the lectures.

Literatur

A course in Model Theory, Katrin Tent, Martin Ziegler
Model theory: An Introduction, David Marker
A shorter model theory, Wilfrid Hodges

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Fr 18.11.2022 00:23