Course syllabus
Welcome to Set theory, 2025, LOG121, 7,5 credits
This course is both part of the Master in Logic as well as available as a free standing course. The course runs in parallel with the first part of the course Logical Theory. The course will be taught by Ivan Di Liberti and Dominik Wehr. You will be able to register on the course one week before it starts. When you have registered for the course you will get access to more course information. You can find information regarding registration here. All course material is housed under Modules.
Introduction and Schedule
The introduction to the course will take place on Tuesday 2 September at 10:15 in room J412 at Humanisten Renströmsgatan 6.
Below are links to the schedule in TimeEdit. There are two links - one which require login (your GU account) and one that does not. The link requiring login shows some additional information. Schedule for LOG121 without login and with login.
Course content
The course treats Zermelo-Fraenkel set theory, ZFC, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers are presented and strong emphasis is placed on the cumulative hierarchy and on the role of the axiom of choice in the axiomatization of the concept of set.
Contact information
- Course coordinator Ivan Di Liberti, ivan.di.liberti@gu.se answers questions about the course content, literature and schedule.
- Education administrator Sandra Schriefer, sandra.schriefer@gu.se answers questions about registration, study interruptions, study breaks, certificates, etc.
- Education administrator Annika Herrström, annika.herrstrom@gu.se answers questions about examination administration.
- Program Coordinator Ivan Di Liberti, ivan.di.liberti@gu.se is responsible for programme issues and study guidance for students of the programme.
- Education Coordinator Andreas Ott, andreas.ott@gu.se
- If you have a disability and are in need of special pedagogical support please see the information available at the student portal.
Course summary:
| Date | Details | Due |
|---|---|---|