Forsing

Sylabus

1. Axiomatika teorie množin: Zermelova a Frankelova, axiomy Gödela a Bernayse.

2. Pojem nezávislosti formule, konzistence a ekvikonzistence teorií.

3. Modely teorie množin, modelová třída, rozšíření tranzitivného modelu, absolutnost formulí.

4. Ultramocnina, měřitelné kardinální číslo, elementární vnoření, superkompaktní kardinální číslo.

5. Generický filtr, generické rozšíření tranzitivního modelu, booleovská jména, forsing.

6. Martinův axiom, PFA (Proper forcing axiom), Martinovo maximum.

7. Příklady forsingů: přidání reálného čísla, kontinuum může být libovolně veliké, kolapsování kardinálních čísel, Levyho kolaps.

8. Suslinova hypotéza.

9. Iterace, konzistence Martinova axiomu.

Anotace

Metoda na konstrukce modelů teorie množin a prokazování nedokazatelnosti nebo bezespornosti různých matematických tvrzení.