Programme
Thursday 11 June 2009
900 - 1000Peter Koepke - Welcome and introduction to the project 1000 - 1015 break 1015 - 1115 Ralf Schindler - Mining strength from hypotheses incompatible with choice, part 1 1115 - 1130 break 1130 - 1230 Ralf Schindler - Mining strength from hypotheses incompatible with choice, part 2 1230 - 1400 lunch break 1400 - 1500 Ioanna Dimitriou - A modern approach to the first Gitik model 1500 - 1800 Discussion session
Friday 12 June 2009
900 - 1000Moti Gitik - Some speculations about Shelah's Weak Hypothesis and the PCF-conjecture, part 1 1000 - 1015 break 1015 - 1115 Moti Gitik - Some speculations about Shelah's Weak Hypothesis and the PCF-conjecture, part 2 1115 - 1130 break 1130 - 1230 Arthur Apter - Some remarks on the tree property in a choiceless context 1230 - 1400 lunch break 1400 - 1500 Grigor Sargsyan - Core model induction beyond L(R), part 1 1500 - 1515 break 1515 - 1615 Grigor Sargsyan - Core model induction beyond L(R), part 2 1615 - 1830 Discussion session 1830 - 1900 Tour of Bonn while walking to the Beethovenhalle for the 1900 Conference dinner
Saturday 13 June 2009
1015 - 1115 Steve Jackson - Some large cardinal properties under AD, part 1 1115 - 1130 break 1130 - 1230 Steve Jackson - Some large cardinal properties under AD, part 2 1230 - 1400 lunch break 1400 - 1430 Philip Welch - On free subsets of ℵω and a question of Pereira. 1430 - 1800 Discussion session 1800 - 1830 Jip Veldman - On mutual stationarity properties below ℵω without AC