Set theory
About
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.
The course is given by the Department of Philosophy, Linguistics and Theory of Science. Link to the webpage.
Prerequisites and selection
Requirements
Admission to the course requires successful completion of at least 60 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or at least 90 credits in philosophy or linguistics, and at least 30 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or equivalent knowledge.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.