Monday, 1 August 2011
|
14:00-14:30
|
Tutorial 1.1: Combinatorial Set
Theory
(Slides)
Jean Larson. University of Florida, U.S.A.
|
14:30-15:00
|
Tutorial 2.1: Descriptive Set Theory
(Slides)
Martin Goldstern. Technische Universität Wien,
Austria.
|
15:00-15:30
| Classification in descriptive set theory
(Slides)
Alberto Marcone. Università di Udine,
Italy.
|
|
Tuesday, 2 August 2011
|
14:00-14:30
|
Tutorial 3.1: Forcing
Gregor Dolinar. Univerza v Ljubljani, Slovenia.
|
14:30-15:00
|
Tutorial 1.2: Combinatorial Set Theory
(Slides)
Jean Larson. University of Florida, U.S.A.
|
15:00-15:30
| Blass's game semantics for linear logic without the axioms of choice
Zhenhao Li. Universiteit van Amsterdam, The Netherlands.
|
|
Wednesday, 3 August 2011
|
14:00-14:30
|
Tutorial 2.2: Descriptive Set Theory
(Slides)
Martin Goldstern. Technische Universität Wien,
Austria.
|
14:30-15:00
|
Tutorial 3.2: Forcing
Gregor Dolinar. Univerza v Ljubljani, Slovenia.
|
15:00-15:30
| Half-filling families of finite
sets
Grzegorz Plebanek. Uniwersytet Wrocławski,
Poland.
|
|
Thursday, 4 August 2011
|
14:00-14:30
|
Tutorial 1.3: Combinatorial Set Theory
(Slides)
Jean Larson. University of Florida, U.S.A.
|
14:30-15:00
|
Tutorial 2.3: Descriptive Set Theory
(Slides)
Martin Goldstern. Technische Universität Wien,
Austria.
|
15:00-15:30
| MAD families and the projective hierarchy
Yurii Khomskii. Universiteit van Amsterdam, The
Netherlands.
|
|
Friday, 5 August 2011
|
14:00-14:30
|
Tutorial 3.3: Forcing
Gregor Dolinar. Univerza v Ljubljani, Slovenia.
|
14:30-15:00
|
TBA
|
15:00-15:30
| TBA
|