Login for PhD students/staff at UCPH      Login for others
Topics in Mathematical Logic
Provider: Faculty of Science

Activity no.: 5572-20-07-31There are 49 available seats 
Enrollment deadline: 16/11/2020
PlaceDepartment of Mathematical Sciences
Universitetsparken 5, 2100 København Ø
Date and time16.11.2020, at: 08:00 - 29.01.2021, at: 16:00
Regular seats50
ECTS credits7.50
Contact personNina Weisse    E-mail address: weisse@math.ku.dk
Enrolment Handling/Course OrganiserAsger Dag Törnquist    E-mail address: asgert@math.ku.dk
Written languageEnglish
Teaching languageEnglish
Semester/BlockBlock 2
Scheme groupC
Exam formCourse participation
Exam formContinuous assessment
Exam detailsInformation will follow
Course workload
Course workload categoryHours
Theory exercises12.00
Project work54.00


We will cover various topics in logic and set theory, with the precise content varying from year to year, depending on the decision of the lecturer and the interests of the participants. Topics that may be covered include:

- Advanced topics in axiomatic set theory such as Gödel's constructible universe L, and independence proofs by forcing.
- Infinitary combinatorics, Ramsey theory.
- Descriptive set theory, including analysis of Borel sets, analytic sets, and if time allows, descriptive set theory in L.
- Topics in model theory, e.g. Scott sentences, types, continuous logic.
- Recursion (computability) theory, e.g. priority arguments.

Learning outcome
Knowledge: To display knowledge of the course topics and content.

Skills: To be able to use the acquired knowledge to read and understand current research papers.

Competences: The student should be able to apply the theory to solve problems of moderate difficulty within the topics of the course.

Examples of literature:
Lecture notes will be provided for some topics. For other topics, we might use parts of the following examples of course literature:
A. Kechris: Classical Descriptive Set Theory (Springer. Note that this book is available as a pdf for free from the Springer website.)
K. Kunen: Set Theory (North Holland)
D. Marker: Model Theory (Springer)
S. Soare: Recursively enumerable sets and degrees.

Teaching and learning methods
4 hours of lectures/week + 2 hours of exercises per week for the first 5 weeks. Then 3 weeks of project work.

Click the search button to search Courses.

Course calendar
See which courses you can attend and when

Publication of new courses
All planned PhD courses at the PhD School are visible in the course catalogue. Courses are published regularly.