Computational Prospects of Infinity
(20 Jun - 15 Aug 2005)

Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application

Set Theory

Schedule of Talks and Tutorials

Week 1 · Week 2 · Week 3 · Week 4

 

Monday, 20 Jun 2005
09:30am - 10:30am
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm
Tuesday, 21 Jun 2005
09:30am - 10:30am	Tutorial: Suitable extender sequences (Lecture 1) W. Hugh Woodin, University of California, Berkeley, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Guessing and non-guessing of canonical functions David Aspero, University of Bristol, UK
Wednesday, 22 Jun 2005
	Free Discussion...
Thursday, 23 Jun 2005
09:30am - 10:30am	Tutorial: Suitable extender sequences (Lecture 2) W. Hugh Woodin, University of California, Berkeley, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Mutual stationarity at \aleph_n 's Philip Welch, University of Bristol, UK
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Intuition and (Mathematical) objects Kai Hauser, Technische Universität, Germany
Friday, 24 Jun 2005
09:30am - 10:30am	Simpler short extenders forcing (Part 1) Moti Gitik, Tel-Aviv University, Israel
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	A view of a semiproper iterated forcing which adds new reals only at limit stages Tadatoshi Miyamoto, Nanzan University, Japan
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Degrees of rigidity For Souslin trees Gunter Fuchs, Universität Muenster, Germany

« Back...

Week 1 · Week 2 · Week 3 · Week 4

 

Monday, 27 Jun 2005
09:30am - 10:30am	Tutorial: Suitable extender sequences (Lecture 3) W. Hugh Woodin, University of California, Berkeley, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Forcing better well orderings of Hw2 David Aspero, University of Bristol, UK
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Kurepa trees and Namba forcing Yasuo Yoshinobu, Nagoya University, Japan
Tuesday, 28 Jun 2005
09:30am - 10:30am	Simpler short extenders forcing (Part 2) Moti Gitik, Tel-Aviv University, Israel
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn	Diamond sequences on P_\kappa\lambda Masahiro Shioya, University of Tsukuba, Japan
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Tutorial: Derived models associated to mice (Lecture 1) John Steel, University of California, Berkeley, USA   Lecture notes: PDF...
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm
Wednesday, 29 Jun 2005
	Free Discussion...
Thursday, 30 Jun 2005
09:30am - 10:30am	Tutorial: Suitable extender sequences (Lecture 4) W. Hugh Woodin, University of California, Berkeley, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Determinacy in strong cardinal module Philip Welch, University of Bristol, UK
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	A partition theorem for a large Rado graph Jean Larson, University of Florida, USA
Friday, 1 Jul 2005
09:30am - 10:30am	Finite state automata and monadic theories of ordinals (Part 1) Itay Neeman, University of California, Los Angeles, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Tutorial: Derived models associated to mice (Lecture 2) John Steel, University of California, Berkeley, USA   Lecture notes: PDF...
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Informal Forum: Future of Set Theory (Part 1)

« Back...

Week 1 · Week 2 · Week 3 · Week 4

 

Monday, 4 Jul 2005
09:30am - 10:30am	Cardinals, continuum and reflection Jouko Vaananen, University of Helsinki, Finland
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn	The \delta^0_2 hierarchy Alessandro Andretta, University of Turin, Italy
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Finite state automata and monadic theories of ordinals (Part 2) Itay Neeman, University of California, Los Angeles, USA
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm
Tuesday, 5 Jul 2005
09:30am - 10:30am	Tutorial: Derived models associated to mice (Lecture 3) John Steel, University of California, Berkeley, USA   Lecture notes: PDF...
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Generalizations of \sigma^2_1 absoluteness (Part 1) Paul Larson, Miami University, USA
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Pseudo projecta and iteration of type I premice Qi Feng, National University of Singapore and Chinese Academy of Sciences
Wednesday, 6 Jul 2005
	Free Discussion...
Thursday, 7 Jul 2005
09:30am - 10:30am	Tutorial: Derived models associated to mice (Lecture 4) John Steel, University of California, Berkeley, USA   Lecture notes: PDF...
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Generalizations of \sigma^2_1 absoluteness (Part 2) Paul Larson, Miami University, USA
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm
Friday, 8 Jul 2005
09:30am - 10:30am	Skolem-Löwenheim-Tarski numbers for extensions of first order logic Menachem Magidor, Hebrew University of Jerusalem, Israel
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Lambda-structures and s-structures Gunter Fuchs, Universität Muenster, Germany
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Informal Forum:  Future of Set Theory (Part 2)

« Back...

Week 1 · Week 2 · Week 3 · Week 4

 

Monday, 11 Jul 2005
09:30am - 10:30am	Forcing no Aronszajn trees on \omega_2 and \omega_3 William Mitchell, University of Florida, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Generic absoluteness under projective forcing (Part 1) Joan Bagaria, University of Barcelona, Spain
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Converse dual Cardinals Shuguo Zhang, Sichuan University, China
Tuesday, 12 Jul 2005
09:30am - 10:30am	PFA, MM and squares Menachem Magidor, Hebrew University of Jerusalem, Israel
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Skolem-Löwenheim-Tarski numbers for extensions of first order logic (Part 2) Jouko Vaananen, University of Helsinki, Finland
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm
Wednesday, 13 Jul 2005
	Free Discussion...
Thursday, 14 Jul 2005
09:30am - 10:30am	Finite forcing and I[\omega_2] William Mitchell, University of Florida, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm	Generic absoluteness under projective forcing (Part 2) Joan Bagaria, University of Barcelona, Spain
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm	Type I T-premice Qi Feng, National University of Singapore and Chinese Academy of Sciences
Friday, 15 Jul 2005
09:30am - 10:30am
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:00nn
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:30pm
03:30pm - 04:00pm	--- Coffee Break ---
04:00pm - 05:00pm

« Back...

Week 1 · Week 2 · Week 3 · Week 4

Organizing Committee · Confirmed Visitors · Overview · Activities · Membership Application