The current research in our group concentrates on forcing, descriptive set theory and their mutual connections. We deal with proper forcing notions, their iterations and ideals on the real line connected to them. We also investigate various forcing axioms, PFA and CPA among others.
Our efforts target to find new techniques and results in abstract forcing theory as well as in general topology and measure theory.
The most recent sign of our activity:
Set Theory Seminar
24 Oct, Friday, 04:15 p.m.
Jan Otop
Random numbers
Random numbers - recursion theoretic approach