|
||
Last update: T_KA (28.04.2016)
|
|
||
Last update: T_KA (28.04.2016)
Naučit teorii kardinálních čísel a metodu forsingu |
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)
Students have to pass final oral exam. |
|
||
Last update: T_KA (28.04.2016)
|
|
||
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)
Students have to pass final oral exam. The requirements for the exam correspond to what has been done during lectures. |
|
||
Last update: T_KA (28.04.2016)
Axiomatization of set theory: Zermelo-Frankel, axioms of Gödel and Bernays
Independent formulas, consistency and equiconsistecy of theories
Models of set theory, model class, extension of transitive model, absolute formulas
Ultrapower, measurable cardinal number, elementary injection, supercompact cardinal number
Generic filter, generic extension of transitive model, boolean names, forcing
Martin axiom, PFA (Proper forcing axiom), Martin's maximum
Examples of forcing: addition of real number, continuum can be arbitrary huge, collapsing of cardinal numbers, Levy's collaps
Suslin hypothesis
Iteration, consistency of Martin axiom |