Cohen forcing and its properties

• Název v anglickém jazyce: Cohen forcing and its properties
• Klíčová slova: forcing, Cohenův forcing, Hypotéza kontinua, Zobecněná hypotéza kontinua, Cohenova reálná čísla
• Klíčová slova anglicky: forcing, Cohen forcing, the Continuum Hypothesis, the Generalised Contiuum Hypothesis, Cohen reals
• Akademický rok vypsání: 2013/2014
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Katedra logiky (21-KLOG)
• Vedoucí / školitel: doc. Mgr. Radek Honzík, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 14.05.2014
• Datum zadání: 15.05.2014
• Schválení administrátorem: zatím neschvalováno
• Datum potvrzení stud. oddělením: 28.05.2014
• Datum a čas obhajoby: 25.06.2015 10:00
• Datum odevzdání elektronické podoby: 26.05.2015
• Datum proběhlé obhajoby: 25.06.2015
• Odevzdaná/finalizovaná: odevzdaná studentem a finalizovaná
• Oponenti: Mgr. Jonathan Verner, Ph.D.

Zásady pro vypracování

Student se seznámí s metodou forcingu v teorii množin. Tuto svou znalost aplikuje na téma Cohenovského forcingu. Práce bude postavena následovně. V první části přehledně shrne základní forcingové definice a věty (bez důkazu); přitom bude postupovat podle Kunenovy knihy (viz reference dole). V další části detailně definuje Cohenův forcing na omega pro přidání alpha mnoha nových podmnožin omegy a prozkoumá jeho vlastnosti (např. odpoví na tyto otázky: liší se nějak Cohenův forcing pro přidání podmožiny omegy od forcingu pro přidání funkce z omegy do omegy, jaké předpoklady o kardinální aritmetice jsou potřeba, aby forcing nekolapsoval kardinály, co se stane, pokud povolíme podmínky velikosti omega?). V další části zobecní Cohenův forcing na kardinály ostře větší než omega. Např. odpoví na tyto o otázky: jaké jsou podmínky pro zachování kardinalů, je možné tento forcing použít pro naforcování 2^omega = aleph_2, 2^{aleph_3} = aleph_7 a GCH na ostatních regulárních kardinálech? Co selže, když se pokusíme naforcovat 2^{aleph_omega} = aleph_{omega+2} a GCH na ostatních kardinálech? Jak naforcovat non GCH všude pod aleph_omega? V další části se student zaměří na jedno další pokročilejší téma týkající se Cohenova forcingu podle vlastního výběru (po konzultaci s vedoucím práce).

Seznam odborné literatury

K. Kunen, Set Theory: Introduction to Independence Proofs in Set Theory, Elsevier.
T. Jech, Set Theory (The Millenium Edition), Springer.
Foreman, Kanamori Eds, Handbook of Set Theory, Vols 1-3, Springer.