FORCING---An Overview

S. M. Srivastava

Abstract

n this talk I shall first give a short overview of the way Set Theory is viewed axiomatically. Then I will give a somewhat naive, but sufficient to get started, introduction to Forcing and indicate how Cohen settled the Continuum Hypothesis. This will be followed by another talk in which I will introduce the Universe of Constructible sets invented by Godel to show the relative consistency of the Axiom of Choice and Generalized Continuum Hypothesis.