This course is discontinued

Schedule, syllabus and examination date

Choose semester

Course content

An introduction to Zermelo-Fraenkel set theory, constructible sets, forcing.

Learning outcome

The student will be acquainted with axiomatic set theory and two basic methods for proving independence results in mathematics.

Admission

Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.

Prerequisites

Recommended previous knowledge

MAT-INF3600 – Mathematical logic

Overlapping courses

15 credits overlap with MAT9610 – Axiomatic set theory (discontinued)

15 credits with MA360.

*The information about overlaps is not complete. Contact the Department for more information if necessary.

Teaching

4 hours of lectures per week.

Examination

One compulsory assignment needs to be passed within given deadlines to be allowed to take the final exam. Final mark based on written examination at the end of the semester.

Oral exam. Letter grading (A-F).

Rules for compulsory assignments at the Department of Mathematics

Language of examination

Subjects taught in English will only offer the exam paper in English.

You may write your examination paper in Norwegian, Swedish, Danish or English.

Explanations and appeals

Resit an examination

Students who due to illness or other valid reason of absence were unable to sit for their final exams may apply for participation in deferred examinations. Deferred examinations are arranged either later in the same semester or early in the semester following the exam in question. Documentation of valid reasons for absence from the regular exam must be submitted upon application to participate in deferred examinations.

Students who have failed an exam, who withdraw during an exam, and students who wish to retake an exam to achieve a better grade may not participate in deferred exams, but may retake the exam when it is regularly scheduled.

Information about deferred and new examination (also called repeat examination) is found here

More information about examination at the Faculty of Mathematics and Natural Sciences can be found here

Withdrawal from an examination

It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.

Special examination arrangements

Application form, deadline and requirements for special examination arrangements.

Evaluation

The course is subject to continuous evaluation. At regular intervals we also ask students to participate in a more comprehensive evaluation.

Facts about this course

Credits

15

Level

Master

Teaching

This version of the course has been given for the last time. Parts of it may be found in MAT4640 – Axiomatic Set Theory and MAT9650 – Advanced Topics in Logic.

Examination

Teaching language

English

The course is given in English. If no students have asked for the course in English within the first lecture, it may be given in Norwegian.