Mohammad Golshani*, Rahman Mohammadpour**

*School of Mathematics, Institute for Research in Fundamental Sciences (IPM)
**Institut für Diskrete Mathematik und Geometrie, TU Wien

 

Abstract. Our aim in this mini-course is to present a gentle introduction to the method of forcing, of which our presentation will be accompanied by many examples, explanations and justifications of used terms. We will be teaching the materials very smoothly and in a fashion that the participants are then able to perceive the crux of the forcing method. In particular the first session will be devoted to experiencing some easy concepts related to partially ordered sets. We intend then to focus on a detailed proof of the independence of Continuum Hypothesis from ZFC.

Prerequisites: To follow this mini-course, it would be convenient for the participant to have very basic knowledge of certain fundamental aspects of classical logic (e.g., formal proofs, structures and elementary substructures, consistency, Gödel’s completeness and incompleteness theorems) and basic axiomatic set theory, as well.