|
HU Credits:
2
Degree/Cycle:
2nd degree (Master)
Responsible Department:
Mathematics
Semester:
2nd Semester
Teaching Languages:
Hebrew
Campus:
E. Safra
Course/Module Coordinator:
Yair Hayut
Coordinator Office Hours:
set an appointment
Teaching Staff:
Dr. Hayut Yair
Course/Module description:
In this course we shall introduce the method of forcing for constructing models of ZFC. We shall prove that the method does produce models of ZFC. Using it, we shall prove the independence of the Generalized Continuum Hypothesis. Iteration of forcing will be introduced in order to prove the consistency of Martin's axiom.
Course/Module aims:
Learning outcomes - On successful completion of this module, students should be able to:
Ability to prove and apply the theorems presented in the course.
Ability to apply correctly the mathematical methodology in the context of the course.
Acquiring the fundamentals as well as basic familiarity with the field which will assist in the understanding of advanced subjects.
Ability to understanding and explain the subjects taught in the course.
Attendance requirements(%):
Teaching arrangement and method of instruction:
Course/Module Content:
In this course we shall introduce the method of forcing for constructing models of ZFC. We shall prove that the method does produce models of ZFC. Using it, we shall prove the independence of the Generalized Continuum Hypothesis. Iteration of forcing will be introduced in order to prove the consistency of Martin's axiom.
Required Reading:
none
Additional Reading Material:
Grading Scheme :
Written / Oral / Practical Exam 30 %
Submission assignments during the semester: Exercises / Essays / Audits / Reports / Forum / Simulation / others 70 %
Additional information:
|
