Universität Wien

250073 VO Special Topics in Model Theory (2024S)

5.00 ECTS (3.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

  • Dienstag 05.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 07.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 14.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 19.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 21.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 09.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 11.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 16.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 18.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 23.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 25.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 30.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 02.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 07.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 14.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 16.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 21.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 23.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 28.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 04.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 06.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 11.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 13.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 18.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Donnerstag 20.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Dienstag 25.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Model theory is a branch of mathematical logic which applies the methods of logic to the study of mathematical structures, and thus has impact on other parts of mathematics (e.g., number theory, analytic geometry).

Since its beginnings in the early decades of the last century, the perception of what the subject is about has gone through various incarnations. A modern view holds that model theory is the "geography of tame mathematics" (Hrushovski), with the goal of identifying those classes of structures whose first-order theories can be understood (in some well-defined technical sense), and exploiting such an understanding as a tool in other parts of mathematics.

This course is a continuation of my class Model Theory from last semester, and will explore more advanced topics. However, I will not assume that you attended the preceding class: a basic knowledge of the language and fundamental results of first-order logic should suffice to successfully follow the class this semester.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Based on a written take-home exam (use of your lecture notes will be permitted). Possible dates announced in the first lecture.

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Topics to be covered: Omitting types, countable categoricity. Totally transcendental theories, strong minimality, Morley's Theorem. Imaginaries and their elimination. Basic stability theory. Other topics as time permits.

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Mi 31.07.2024 12:06