104.394 Advanced Mathematical Logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, VU, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to understand and independently prove various advanced logical (in particular, model-theoretic and computability-theoretic) statements and facts.

Subject of course

The following topics are intended to be treated in the course:

- Quantifier Elimination
- Gödel's incompleteness theorems
- Computable structures

Teaching methods

Lectures and discussions

Mode of examination




Course dates

Mon10:00 - 10:3001.03.2021 https://tuwien.zoom.us/j/95093535054?pwd=Z0hKQ285ZWF1Z2hDL3Q2MFdsb0c5UT09 (LIVE)AML Preliminary Meeting
Mon10:00 - 11:3026.04.2021 - 31.05.2021 TUWEL/Zoom (LIVE)Advanced Mathematical Logic Lecture
Advanced Mathematical Logic - Single appointments
Mon01.03.202110:00 - 10:30 https://tuwien.zoom.us/j/95093535054?pwd=Z0hKQ285ZWF1Z2hDL3Q2MFdsb0c5UT09AML Preliminary Meeting
Mon26.04.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mon03.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mon10.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mon17.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture
Mon31.05.202110:00 - 11:30 TUWEL/ZoomAdvanced Mathematical Logic Lecture

Examination modalities

Two homeworks, each consisting of 6-7 problems.

Course registration

Begin End Deregistration end
23.02.2021 00:00 11.04.2021 23:59



No lecture notes are available.

Previous knowledge

Knowledge of the basic notions of mathematical logic (syntax, semantics, first-order, propositional, main concepts of computability theory) will be assumed. It is recommended (but not required) to attend the course Computability Theory beforehand.


if required in English