Tuesday, March 23
08:30-09:30 Registation in the Lobby of the Instititute
09:45 Welcome
10:00- 10:50 Menachem Kojman (I)
Does Cardinal Arithmetic have a future?
11:00-11:30 Coffee break
11:30-12:20 W. Hugh Woodin (I)
The Omega conjecture
Lunch at Beit Belgia
14:00-14:50 Matt Foreman (I)
Generic large cardinals
15:00-15:50 Greg Hjorth (I)
Cardinality in L(R)
Coffee Break
16:30-17:20 Jindra Zapletal (I)
Forcing with sigma-ideals
18:30 Reception
|
Wednesday, March 24
09:00-09:50 Bill Mitchell (I)
Covering Lemmas
Coffee Break
10:30-11:20 Istvan Juhasz (I)
Cardinal Functions and Cardinal Arithmetic
11:30-12:20 Moti Gitik (I)
Extender based forcing
Lunch at Beit Belgia
14:00-14:50 Stefan Geschke (I)
Convex geometry and forcing
15:00-15:20 Assaf Sharon
A model with full reflection at kappa+
for a strong limit cardinal kappa with
cofinality "omega" and 2^kappa=kappa^+2
15:25-15:45 Jacob Kellner
What is nep forcing?
15:50:16;10 Andreas Liu
Reflecting pictures in cardinal arithmetic
Coffee break
16:30-17:30 Jindra Zapletal (II)
Forcing with sigma-ideals
17:40-18:30 Matt Foreman (II)
The world according to Generalized large cardinals
|
Thursday, March 25
09:00-09:50 Greg Hjorth II
Cardinality in L(R)
Coffee break
10:30-11:20 Bohuslav Balcar
Is two different from three?
11:30-12:20 Istvan Juhasz (II)
Cardinal Functions and Cardinal Arithmetic
Lunch
14:00-14:20 John Krueger
Adding clubs with square
14:25-14:45 Boaz Tsaban
Open problems in the modern era of infinite combinatorial topology
14:50-15:10 Michael N. Shmatkov
On d-completenes of T_0 spaces
Coffee break
15:30-15:50 Victoria Lubitch
Left separated spaces
15:55-16:15 Vojkan Vuksanovic
Canonical partition theorem for trees
17:30-18:20 Jindra Zapletal (III)
Forcing with sigma-ideals |
Friday, March 26
09:00-09:50 Menachem Kojman (II)
A quick proof of the pcf theorem
Coffee break
10:30-11:20 Moti Gitik (II)
Extender based forcing
11:30-12:50 Jean Larson
Open Problems on Partitions
12:00-12:20 Agatha C. Walczak-Typke
Algebraic Structures in Set Theory without the Axiom of Choice
12:30-13:20 Stefan Geschke (II)
Continuous Ramsey theory
Lunch
Saturday March 27
07:00-18:30 Tour to Massada and Ein Gedi (Dead Sea)
Bus will leave Park Plaza hotel at 7:00am and then pick up participants from the Renaissance hotel |
Sunday March 28
09:00-09:50 William Mitchell (II)
Larger core models and their covering lemmas, with an emphasis on the smaller ones
coffee break
10:30-11:20 W. Hugh Woodin (II)
Promising extender sequences
11:30-12:20 Saharon Shelah
The revised generalized continuum hypothesis revisited
Lunch
14:00-14:50 Matt Foreman (III)
A proof of the CH from generalized large cardinals
15:30-16:20 Istvan Juhasz (III)
Cardinal Sequences of
Compact Scattered Spaces".
Coffee break
17:00-17:50 Menachem Magidor
TBA
19:00 Dinner in honor of Azriel Levy
Beit Belgia
|
Monday, March 29
09:00-09:50 Menachem Kojman (III)
Two applications of pcf theory
Coffee break
10:30-11:20 Isaac Gorelic
The problem of singular cofinality of partially ordered sets
11:30-12:20 Saharon Shelah (II)
Diamonds in all but finitely many cofinalities
|