MAT9610 - Axiomatic set theory

Facts about this course: Credits: 15 Level: Ph.D. level course Teaching semester: Spring. Taught according to demand and resources. Examination semester: Spring. Taught according to demand and resources. Language of instruction: English if requested by exchange students, otherwise Norwegian Administrated by: Department of Mathematics

Course content

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

Learning outcomes

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

Admission

To participate in this course you must have an admission to a Ph.D.-programme at a Norwegian University or University College.

If you do not have an admission to the Ph.D.-Programme in Science at The Faculty of Mathematics and Natural Sciences at UiO, you have to apply for hospitantstatus (norwegian text) . For more information, please contact the Department.

Prerequisites

Formal prerequisites

None.

Recommended prior knowledge

MAT3600 - Mathematical logic / MAT4600 - Mathematical logic

Overlap

15 credits with MA360.

10 credits with MAT4610 - Axiomatic set theory.

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

Teaching

4 hours of lectures per week.

Exam information

Oral exam.

Assessment and grading

Students are awarded either a passing or failing grade. The pass/fail scale is applied as an independent scale with only two possible results.

Contact information

---

Editors: Redaksjon for studietilbudet ved UiO
Document created: 15.01.2007, modified: 27.02.2007Administrer dette dokumentet