The Hebrew University Logo
Syllabus FORCING AND INDEPENDENCE IN SET THEORY - 80579
עברית
Print
 
close window close
PDF version
Last update 15-10-2020
HU Credits: 2

Degree/Cycle: 1st degree (Bachelor)

Responsible Department: Mathematics

Semester: 2nd Semester

Teaching Languages: Hebrew

Campus: E. Safra

Course/Module Coordinator: Yair Hayut

Coordinator Email: yair.hayut@math.huji.ac.il

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:

Course/Module evaluation:
End of year written/oral examination 0 %
Presentation 0 %
Participation in Tutorials 0 %
Project work 70 %
Assignments 30 %
Reports 0 %
Research project 0 %
Quizzes 0 %
Other 0 %

Additional information:
The final numerical score will consist of a midterm assignment (%30) and a final assignment (%70)
 
Students needing academic accommodations based on a disability should contact the Center for Diagnosis and Support of Students with Learning Disabilities, or the Office for Students with Disabilities, as early as possible, to discuss and coordinate accommodations, based on relevant documentation.
For further information, please visit the site of the Dean of Students Office.
Print