Introduktion till mängdteori

Nota bene: This course content is now given with a new course code: LOG011. Complete information and way of application will be visible at the 16th of March. Please note that there will be new Entry requirements for the course: For admission to the course successful completion of at least 7.5 credits in logic or mathematics, or the equivalent, is required.

The course treats Zermelo-Fraenkel's set theory, ZF, formulated in first-order logic, and takes its starting point in the set theoretical construction of the natural numbers and how set theory can constitute a foundation for mathematics. Furthermore, properties of infinite sets are treated, with a focus on cardinality and properties of well-orderings. The cumulative hierarchy is discussed as well as the role of the axiom of choice in the axiomatisation of the concept of set.
The is a web-based course. Recorded lectures are made available during the course and followed up by quizzes in the form of digital tests.

Det är institutionen för filosofi, lingvistik och vetenskapsteori som ger kursen. Länk till institutionens sidor.