Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250137 VO Model theory (2018S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

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.

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

Information

Aims, contents and method of the course

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

Assessment and permitted materials

The final grade will be based on an oral examination.

Minimum requirements and assessment criteria

Examination topics

The content of the lectures.

Reading list

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

Association in the course directory

MLOV

Last modified: Fr 18.11.2022 00:23