infinitary combinatorics without the axiom of choice

Programme

Thursday 11 June 2009

900 - 1000
Peter 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 - 1000
Moti 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