MAT9620 – Mathematical Logic II
Course description
Course content
An introduction to model theory and to computability theory. The detailed content may vary.
Learning outcome
The student will be acquainted with the connections between certain formal theories and the associated classes of models. Futher, the student will be acquainted with computability theory of the natural numbers, defined via primitive recursion and the mu-operator.
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.
Overlapping courses
15 credits with MA 380.
*The information about overlaps is not complete. Contact the Department for more information if necessary.
Teaching
4 hours of lectures per week.
If few students apply for the course, it may be given as self-tuition with one hour of common academic supervision each week.
Examination
Oral exam.
Examination support material
No examination support material is allowed.
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 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 bet