NMAK16012U CANCELLED Gödel's Constructive Universe of Sets
MSc Programme in Mathematics
The constructible universe (short: L) was introduced by Gödel, and is still an indespensable tool in set theory. L is a the minimal class model of ZFC, the Zermelo Fraenkel axiom system of set theory (including the axiom of choice) with many interesting properties: L is absolute, satisfies the generalised continuum hypothesis, global choice, and interesting combinatorial properties such as the square and diamong principles.
The course will include a short introduction to formal logic and languages, as well as an introduction to set theory, including ordinals and cardinals.
The L is defined. The proof of the diamond principle in L is discussed, as well as the beginnings of fine structure and the proof of the square principle in L.
If time permits, we will discuss large cardinals and their compatibility/incompatibility to L, as well as other inner models such as HOD (the hereditarily ordinal definable sets).
- Knowledge: To display knowledge of the course topics and content, at the level of a beginning researcher.
- Skills: To be able to use the acquired knowledge to perform computations.
- Competencies: To be able to produce independent proofs in extension of the acquired knowledge.
- Category
- Hours
- Exercises
- 14
- Lectures
- 28
- Preparation
- 16
- Total
- 58
As
an exchange, guest and credit student - click here!
Continuing Education - click here!
- Credit
- 7,5 ECTS
- Type of assessment
- Continuous assessmentThe grade will be based on three graded mandatory home exercise problem sets, which will be assigned as the course progresses. The three problem sets contribute equally to the final grade.
- Marking scale
- 7-point grading scale
- Censorship form
- No external censorship
One internal examiner.
- Re-exam
The students have the option of resubmitting all the assignments, even the ones they originally passed. From these, a new final mark is calculated.
Deadline for resubmission: 12 noon Friday in the re-examination week.
Criteria for exam assesment
The student must in a satisfactory way demonstrate that he/she has mastered the learning outcome of the course.
Course information
- Language
- English
- Course code
- NMAK16012U
- Credit
- 7,5 ECTS
- Level
- Full Degree Master
- Duration
- 1 block
- Placement
- Block 2
- Schedule
- B
- Course capacity
- No restrictions/ no limitations
- Continuing and further education
- Study board
- Study Board of Mathematics and Computer Science
Contracting department
- Department of Mathematical Sciences
Course responsibles
- David Schrittesser (7-6663786b663075426f63766a306d7730666d)