Courses offered by the Key Research Area Logic for the Master's programme in Mathematics
The study of Logic at the Faculty of Mathematics of the University of Vienna is embodied in the Key Research Area Logic, also known as the Kurt Gödel Research Center for Mathematical Logic (KGRC), which is one of the main areas of research of the Faculty.
Members of the KGRC offer logic courses for all the mathematics programmes (Bachelor's, Master's and PhD studies).
Before reading this page further, please read the description of the Master's programme in mathematics, including information regarding the registration to the Master's programme and the subdivision of courses in core modules, specialization courses, and elective courses.
Which courses are offered for the various modules?
Below you can find all the courses offered by the Key Research Area Logic for the various modules of the Master's programme in Mathematics.
Core module ML1
Core courses (3 core packages; each 1 core VO 4 SWS, 6 ECTS + 1 core PS 2 SWS, 4 ECTS; total 30 ECTS):
- Introduction to Mathematical Logic (IML),
- Introduction to Model Theory (IMT),
- Introduction to Descriptive Set Theory (IDST),
- Introduction to Axiomatic Set Theory (IAST).
Every year we offer at least one of the above courses on rotating basis.
Specialization module ML2
Specialization courses (VO 4 SWS, 6 ECTS, total 30 ECTS):
- Special Topics in Logic,
- Special Topics in Model Theory,
- Special Topics in Descriptive Set Theory,
- Special Topics in Axiomatic Set Theory.
Specialization courses (3 SWS, 5 ECTS):
- Theoretical Computer Science.
Seminar Module MSE
Seminars (2 seminars, each 2 SWS, 4 ECTS, total 8 ECTS):
We normally offer these 3 seminars every semester.
We suggest the following path for all students planning to write a Master's thesis in logic.
See also the list of logic courses offered in the current semester.
Master's thesis
A Master's thesis can be supervised by any member of the Key Research Area Logic having an Habilitation or a Prof. title, namely:
Courses offered at TU Wien
TU Wien (Technische Universität Wien) has several active research groups and offers many interesting courses in mathematical logic and theoretical computer science. It is possible to enroll at TU Wien in addition to the enrollment at the University of Vienna.
The simplest path is the so-called co-registration: you do not enroll in a programme at TU Wien, but rather you just register your curriculum of the University of Vienna at TU Wien.
Natural choices for curricula of TU Wien for a co-registration include:
- Master programme Logic and Artificial Intelligence
- Master programme Technical Mathematics
Please notice that a co-registration is a priori valid only for a given chosen semester; it shall be renovated every semester until you need it.
Contact point
During your studies, the StudyServiceCenter (SSC) of the Faculty of Mathematics is the main contact point for any question regarding registration for courses, assignment of credits, submission of the master's thesis, and so on - the KGRC is not involved in any questions pertaining the enrollment, admission, tuition fees, etc.
Grants
In general, Master's students do not receive stipends or salaries. Information about external grants are available at stipendium.at and grants.at.
The new Master's curriculum in Mathematics (821 - version 2025 - number UA 066 821) is the standard choice for all students starting their Master studies from October 2025 onward.
Students who started before October 2025 and might have not finished yet, need to switch from the old curriculum (821 - version 2025 - number UA 066 821 - discontinued - PDF in German - not accessible) to the new one by the end of October 2027 at the latest.