Zkouška
Po delší úvaze jsem se rozhodl nakonec oficiálně vypsat termíny v IS. Stále sice platí, že na zkoušení
se lze dohodnout e-mailem, ale preferoval bych, pokud byste přišli v jeden z termínů vypsaných v IS.
Sylabus
Zde je k dispozici
zárodek poznámek, které budu v průběhu semestru postupně aktualizovat (nicméně
neslibuji jejich aktuálnost :-)). Hrubý syllabus toho, co jsme probrali, je
níže.
- 6. 1.: Produkt dvou forcingů, iterace dvou forcingů, nástin obecné iterace
- 15.12.: Kvůli nemoci odpadlo
- 8.12.: Netriviální příklad σ-linked forcingu, Martinův axiom, definice kardinálních invariantů
- 1.12.: σ-centered, σ-linked, Knasterova vlasnost, ccc forcingy, Delta System Lemma, negace CH
- 24.11.: Selective ultrafilters
- 17.11.: σ-closed forcing notions, CH
- 10.11.: Odpadlo z důvodu služební cesty
- 3.11.: Základní vlastnosti forcingových rozšíření, absolutnost
- 27.10.: Děkanské volno
- 20.10.: Forcingová rozšíření, jména
- 13.10.: Úvod, definice uspořádání, hustá množina, antichain, filtr, generický filtr
- 6.10.: Kvůli nemoci odpadlo
Literatura
- K. Kunen, Set Theory, College Pulibcations, London 2011
- K. Kunen: Set Theory (An Introduction to Independence Proofs), North-Holland, 1980
- B. Balcar, P. Štěpánek, Teorie množin, Academia, Praha 2000
- J. T. Moore,
An introduction to the method of forcing Part 1,
video of a lecture given at the Axiomatic approaches to forcing techniques in set theory
workshop