MAT9650 - Advanced topics in logic
|
||||||||||||||||
Course content
Introduction to model theory and continuation of axiomatic set theory and computability theory. The content is flexible.
Learning outcomes
In model theory, the student will learn about the concepts of quantifier elimination and element types and of the applications of these concepts. Finite model theory with the 0-1-law is one option.
In axiomatic set theory, the student will be introduced to the method of forcing. In computability theory the concept of computability is extended to other structures than the natural numbers and sets of words over a finite alphabet.
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.
The examination in this course is not available for external candidates. Only students admitted to the course may sit for the examination.
Prerequisites
Recommended prior knowledge
MAT-INF3600 - Mathematical logic, MAT4630 - Computability Theory and MAT4640 - Axiomatic Set Theory/MAT9640 - Axiomatic Set Theory.
Overlap
5 credits against MAT4610 - Axiomatic set theory. 5 credits against MAT9610 - Axiomatic set theory. 5 credits against MAT4620 - Mathematical Logic II. 5 credits against MAT9620 - Mathematical Logic II.
5 credits with MA360 and MA380.
* For information about the potential partial overlap with other courses, contact the Department.
Teaching
3 hours per week throughout the semester.
Exam information
One mandatory exam needs to be passed within given deadlines. Final oral exam (counts 100% of the grade).
Rules for compulsory assignments at the Department of Mathematics.
Exam resources
No special exam resources are allowed.
Language of examination
Students may, on subjects taught in Norwegian and the examination form is written exam, ask for the exam paper in Bokmål, Nynorsk or English. Closing date for registering the chosen examination language is September 1st for the fall semester and February 1st for the spring semester.
Please view the web page of the Faculty of Mathematics and Natural Sciences on how to proceed
Subjects taught in English will offer the exam paper in English only.
This rule also applies for subjects where the exam form is dependent on the number of students and written exam is chosen by the teaching staff.
Assessment and grading
Students are awarded either a passing or a failing grade. Read more about the grading system .
Explanations and appeals
A student may appeal against an awarded grade and/or file a formal complaint about exam procedures
Possibility of make-up exams and re-takes
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
Withdrawing from exams and limits on re-takes
A student can sit for this exam up to 3 times. If a student wishes to withdraw from the exam, s/he must do this in StudentWeb at least two weeks prior to the first day of the exam. Failure to do so will be counted as one of the three opportunities to sit for the exam.
Exam options for students with special needs
Students may apply for access to alternative exam resources or exam forms on the basis of chronic illness and/or special needs that create a marked disadvantage to other students in the exam situation. Mothers who are breastfeeding may apply for extra time to complete the exam.
Evaluation of this course
Feedback from our students is essential to us in our efforts to ensure and further improve the high quality of our programmes and courses. As a student at the University of Oslo you will therefore be asked to participate in various types of evaluation of our courses, facilities and services. All courses are subject to continuous evaluation. At regular intervals we also ask students on a particular course to participate in a more comprehensive, in-depth evaluation of this course, a so called "periodic evaluation".
Contact us
Department of Mathematics
Visiting address:
Niels Henrik Abel's building, Moltke Moes vei
Visiting hours:
Monday-friday 09:00-14:30
Postal address:
P.O.box 1053, Blindern
NO-0316 Oslo
Fax: +47 22 85 43 49
E-mail: studieinfo@math.uio.no
Web: http://www.mn.uio.no/math/english/