Cohen forcing and its properties

Abstract

Bakalářská práce se zabývá vlastnostmi Cohenova forcingu a jeho vztahu k nedokazatelnosti Hypotézy kontinua a Obecné hypotézy kontinua. Práce je rozdělena na čtyři části. V první části je zavedena technika forcingu pomocí částečných uspořádání. Druhá část zavádí pojem Cohenovského forcingu, ukazuje vlastnosti kardinální aritmetiky postačující k zachovávání kardinálů Cohenovským forcingem a zejména se pak soustředí na generické množiny přidané konkrétními variacemi Cohenovského forcingu. Nakonec tato část ukazuje některé vlastnosti Cohenovských reálných čísel. Třetí část rekon- struje důkaz nedokazatelnosti Hypotézy kontinua a ukazuje užití Cohen- ovského forcingu při důkazu tvrzeních o Obecné hypotéze kontinua. Poslední část se krátce zmiňuje o neminimalitě generických filtrů na Cohenovském forcingu a zavádí Sacksův forcing, na kterém dokládá, že existují forcingy, jejichž generické filtry jsou minimální. Klíčová slova Cohenův forcing, CH, GCH, Cohenova reálná čísla.

This bachelor thesis studies properties of Cohen Forcing and its relation to the unprovability of Continuum Hypothesis and Generalised Continuum Hypothesis. The thesis is divided into four parts. In the first part the technique of forcing based on partial orders is introduced. The second part introduces a notion of Cohen forcing, shows properties of cardinal arithmetic sufficient to preservation of cardinals by Cohen forcing and focuses mainly on generic sets added by concrete variations of Cohen Forcing. Finally some of the properties of Cohen reals are shown in this part. The third part reconstruct a proof of unprovability of Continuum Hypothesis and shows a use of Cohen Forcing in relation to the statements about the Generalised Continuum Hypothesis. The last part discusses briefly a non-minimality of generic filters on Cohen forcing and introduce a notion of Sacks forcing in order to show an existence of forcing notion whose generic filters are minimal. Keywords Cohen forcing, CH, GCH, Cohen reals.