Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Introduction to forcing - ALGV00054

Title:	Úvod do forcingu
Form of teaching:	lecture
Guaranteed by:	Institute of Philosophy and Religious Studies (21-UFAR)
Faculty:	Faculty of Arts
Actual:	from 2026
Duration in semesters:	1
Semester:	summer
Points:	0
E-Credits:	5
Examination process:	summer s.:
Hours per week, examination:	summer s.:2/0, Ex [HT]
Capacity:	unknown / unknown (unknown)
Maximum number of enrolled students:	unlimited
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
Key competences:
State of the course:	not taught
Language:	Czech
Teaching methods:	full-time
Level:
Repeated enrollment:	2 / 2 / 2 / 2
Note:	course can be enrolled in outside the study plan enabled for web enrollment

Guarantor:	doc. Radek Honzík, Ph.D. Mgr. Šárka Stejskalová, Ph.D.

Schedule Noticeboard

Annotation -

In this course, we introduce basic forcing notions and demonstrate their applications. The emphasis will be placed on problem-solving: given a formula A, how do we choose a forcing P to obtain a model of ZFC in which A holds? Which combinatorial properties of P turn out to be essential? Most examples will concern subsets of natural numbers, the Continuum Hypothesis (CH), and the Generalized Continuum Hypothesis (GCH).

Last update: Stejskalová Šárka, Mgr., Ph.D. (30.01.2026)

Course completion requirements - Czech

Ústní zkouška z odpřednášené látky.

Last update: Stejskalová Šárka, Mgr., Ph.D. (30.01.2026)

Literature - Czech

B. Balcar, P. Štěpánek: Teorie množin; Academia, Praha, 2000.
T. Jech: Set theory; Springer, 2003.
K. Kunen: Set Theory: An Introduction to Independence Proofs. North Holland, 1980.

Last update: Stejskalová Šárka, Mgr., Ph.D. (28.01.2026)