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

250168 VO Introduction to mathematical logic (2019S)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik

In the short term, the courses could take place at the Josephinum. If you have any questions, please contact your lecturer.

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Register/Deregister for this course

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Kurt Gödel Research Center (Währinger Straße 25, 2nd floor, 02.101).

  • Friday 01.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 07.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 08.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 14.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 15.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 21.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 22.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 28.03. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 29.03. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 04.04. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 05.04. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 11.04. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 12.04. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 02.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 03.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 09.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 10.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 16.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 17.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 23.05. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 24.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 31.05. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 06.06. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 07.06. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Thursday 13.06. 12:15 - 13:45 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 14.06. 09:30 - 11:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Friday 21.06. 09:30 - 11:00 (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 lecture will be an introduction to different areas of
mathematical logic and their connections. We start with a review of
formulas and structures and introduce the method of ultrapower
construction. This will lead us to a closer look into the area of
model theory which we will augment with the study of types and the
structure of countable models. Moreover we will study classical games
which are used in model theory and are related to set
theory. Afterwards we will prove Gödel's first
incompleteness theorem in full generality.

This lecture will be self-contained. Nevertheless some familiarity
with the contents of the lecture "Grundzüge der mathematischen
Logik" (e.g. see https://muellersandra.github.io/teaching/grundzuege-2018/) might be helpful.

More information: https://muellersandra.github.io/teaching/introduction-to-mathematical-logic-sose-2019/

Assessment and permitted materials

Oral exam by appointment.

Minimum requirements and assessment criteria

See above. To take the oral exam it is necessary to enroll in the class by filling your name in the "Teilnehmerliste" within the first two weeks of the semester.

Examination topics

Contents of the lectures

Reading list

see website

Association in the course directory

MLOL

Last modified: Fr 18.11.2022 00:23