Kursussøgning, efter- og videreuddannelse – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Kursussøgning, efter- og videreuddannelse

CANCELLED Gödel's Constructive Universe of Sets

Practical information
Study year 2016/2017
Block 2
Programme level Full Degree Master
Course responsible
  • David Schrittesser (7-68657a6d683277447165786c326f7932686f)
  • Department of Mathematical Sciences
Course number: NMAK16012U

Course content

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).

Learning outcome

  • 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.

Mandatory prerequisites


Sign up

As an exchange, guest and credit student - click here!

Continuing Education - click here!


MSc Programme in Mathematics


Study Board of Mathematics and Computer Science

Course type

Single subject courses (day)


1 block


---- SKEMA LINK ----

Teaching and learning methods

4 hours of lectures/week + 2 hours of exercises per week for 9 weeks.


No restrictions/ no limitations







Category Hours
Lectures 28
Exercises 14
Preparation 16
English 58


Type of assessment

Continuous assessment
The 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

Criteria for exam assessment

The student must in a satisfactory way demonstrate that he/she has mastered the learning outcome of the course.

Censorship form

No external censorship
One internal examiner.


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.

Mere information om kurset
Er du BA- eller KA-studerende?
Er du bachelor- eller kandidat-studerende, så find dette kursus i kursusbasen for studerende:

Kursusinformation for indskrevne studerende