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

PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.

If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.

PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.

Prerequisites

Formal prerequisite knowledge

None.

Recommended previous knowledge

MAT3600 – Mathematical logic (discontinued)/MAT4600 – Mathematical logic (discontinued)

Overlapping courses

15 credits with MA360.

15 credits with MAT4610 – Axiomatic set theory (discontinued).

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

Teaching

4 hours of lectures per week.

Examination

Oral exam.

In addition, each phd student is expected to give a?one hour oral presentation on a topic of relevance (chosen in cooperation with the lecturer). The presentation has to be approved by the lecturer for the student to be admitted to the final exam.

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.

Grading scale

Grades are awarded on a pass/fail scale. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document valid reasons for failing to attend their final exams within given deadlines may participate in deferred examinations. Deferred examinations are arranged either later in the same semester or early in the semester following the exam in question.

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
PhD
Teaching

This version of the course has been given for the last time. Parts of it may be found in MAT9640 – 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.