=== Wednesday 20th ===
|
3.30pm |
''Coffee break'' |
4:00pm |
'''S.-D.Friedman''' |
On the consistency strength of PFA ([/2012/Miniworkshop_set_theory_abstract_Friedman.html abstract]) |
5:00pm |
'''G.Laguzzi''' |
Generalised Amoeba forcing and $\Sigma^1_2$ measurability ([/2012/Miniworkshop_set_theory_abstract_Laguzzi.html abstract]) |
|
=== Thursday 21st ===
|
9.00am |
''Coffee break'' |
9:30am |
'''V.Dimonte''' |
Rank-to-rank hypotheses and the failure of GCH |
10:30am |
'''J.Flaskova''' |
Summable ideals and ultrafilters |
11.10am |
''Coffee break'' |
11:30am |
'''Y.Khomskii''' |
Aleph-1 Perfect MAD Families |
|
''Lunch'' |
2:00pm |
'''D.Bartosova''' |
Ultrafilter dynamical system and its applications |
3:00pm |
'''J.Stary''' |
Coherent Structures on Boolean Algebras |
3.40pm |
''Coffee break'' |
4:00pm |
'''M.Kamensky''' |
Internality in model theory and category theory ([/2012/Miniworkshop_set_theory_abstract_Kamensky.html abstract]) |
5:00pm |
'''D.Chodounsky''' |
Games for filters and towers |
|
=== Friday 22nd ===
|
9.30am |
''Coffee break'' |
10.00am |
'''S.Fuchino''' |
Reflection number of Rado Conjecture and Fodor-type reflection |
11.00am |
'''M.Doucha''' |
Borel equivalence relations and Laver forcing |
|
''Lunch'' |