Institute for Mathematical Sciences Event Archive

Online registration form Register

Financial assistance application form Students

Postdoctoral scholars and researchers

Enquiries General Scientific aspects

Asian Initiative for Infinity (AII) Graduate Summer School
(20 June - 17 July 2012)

Jointly funded by the John Templeton Foundation

Sponsor · Invited Speakers · Visitors and Participants · Overview · Application · Lectures · Venue · Contacts

Venue: IMS Auditorium (25 Jun - 17 Jul 2012)

Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
(20 - 22 Jun 2012 & all Discussion session, 2pm - 4pm)

Wednesday, 20 Jun 2012
09:15am - 10:30am	Applications of MM I Stevo Todorcevic, University of Toronto, Canada
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Applications of MM II Stevo Todorcevic, University of Toronto, Canada
Thursday, 21 Jun 2012
09:15am - 10:30am	Applications of MM III Stevo Todorcevic, University of Toronto, Canada
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Applications of MM IV Stevo Todorcevic, University of Toronto, Canada
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Friday, 22 Jun 2012
09:15am - 10:30am	Applications of MM V Stevo Todorcevic, University of Toronto, Canada
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Applications of MM VI Stevo Todorcevic, University of Toronto, Canada
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Monday, 25 Jun 2012
09:15am - 10:30am	Applications of MM VII Stevo Todorcevic, University of Toronto, Canada
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Applications of MM VIII Stevo Todorcevic, University of Toronto, Canada
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Tuesday, 26 Jun 2012
09:15am - 10:30am	Applications of MM IX Stevo Todorcevic, University of Toronto, Canada
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Applications of MM X Stevo Todorcevic, University of Toronto, Canada
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Wednesday, 27 Jun 2012
09:15am - 10:30am	Selected applications of logic to C-Algebras I Ilijas Farah, York University, Canada*
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Selected applications of logic to C-Algebras II Ilijas Farah, York University, Canada*
Thursday, 28 Jun 2012
09:15am - 10:30am	Selected applications of logic to C-Algebras III Ilijas Farah, York University, Canada*
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Selected applications of logic to C-Algebras IV Ilijas Farah, York University, Canada*
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Friday, 29 Jun 2012
09:15am - 10:30am	Selected applications of logic to C-Algebras V Ilijas Farah, York University, Canada*
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Selected applications of logic to C-Algebras VI Ilijas Farah, York University, Canada*
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Monday, 2 Jul 2012
09:15am - 10:30am	Selected applications of logic to C-Algebras VII Ilijas Farah, York University, Canada*
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Selected applications of logic to C-Algebras VIII Ilijas Farah, York University, Canada*
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Tuesday, 3 Jul 2012
09:15am - 10:30am	Selected applications of logic to C-Algebras IX Ilijas Farah, York University, Canada*
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Selected applications of logic to C-Algebras X Ilijas Farah, York University, Canada*
12:15pm - 02:00pm	--- Lunch Reception at IMS ---
02:00pm - 04:00pm	Discussion
Wednesday, 4 Jul 2012
09:15am - 10:30am	E-recursion I Gerald E. Sacks, Harvard University, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	E-recursion II Gerald E. Sacks, Harvard University, USA
Thursday, 5 Jul 2012
09:15am - 10:30am	E-recursion III Gerald E. Sacks, Harvard University, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	E-recursion IV Gerald E. Sacks, Harvard University, USA
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Friday, 6 Jul 2012
09:15am - 10:30am	E-recursion V Gerald E. Sacks, Harvard University, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	E-recursion VI Gerald E. Sacks, Harvard University, USA
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Monday, 9 Jul 2012
09:15am - 10:30am	E-recursion VII Gerald E. Sacks, Harvard University, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	E-recursion VIII Gerald E. Sacks, Harvard University, USA
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Tuesday, 10 Jul 2012
09:15am - 10:30am	E-recursion IX Gerald E. Sacks, Harvard University, USA
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	E-recursion X Gerald E. Sacks, Harvard University, USA
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
04:00pm	Borel combinatorics and recursion theory Andrew Scott Marks, University of California at Berkeley, USA
Wednesday, 11 Jul 2012
09:15am - 10:30am	Subcomplete forcing and L-forcing I Ronald Jensen, Humboldt-Universität zu Berlin, Germany
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Subcomplete forcing and L-forcing II Ronald Jensen, Humboldt-Universität zu Berlin, Germany
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 03:00pm	Continuous reducibility for the real line Daisuke Ikegami, University of California at Berkeley, USA
03:00pm - 04:00pm	Delta_1 definablity of nonstationary ideal Liuzhen Wu, University of Vienna, Austria
Thursday, 12 Jul 2012
09:15am - 10:30am	Subcomplete forcing and L-forcing III Ronald Jensen, Humboldt-Universität zu Berlin, Germany
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Subcomplete forcing and L-forcing IV Ronald Jensen, Humboldt-Universität zu Berlin, Germany
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Friday, 13 Jul 2012
09:15am - 10:30am	Subcomplete forcing and L-forcing V Ronald Jensen, Humboldt-Universität zu Berlin, Germany
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Subcomplete forcing and L-forcing VI Ronald Jensen, Humboldt-Universität zu Berlin, Germany
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
Monday, 16 Jul 2012
09:15am - 10:30am	Subcomplete forcing and L-forcing VII Ronald Jensen, Humboldt-Universität zu Berlin, Germany
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Subcomplete forcing and L-forcing VIII Ronald Jensen, Humboldt-Universität zu Berlin, Germany
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion
06:00pm	Social Event
Tuesday, 17 Jul 2012
09:15am - 10:30am	Subcomplete forcing and L-forcing IX Ronald Jensen, Humboldt-Universität zu Berlin, Germany
10:30am - 11:00am	--- Coffee Break ---
11:00am - 12:15pm	Subcomplete forcing and L-forcing X Ronald Jensen, Humboldt-Universität zu Berlin, Germany
12:15pm - 02:00pm	--- Lunch Break ---
02:00pm - 04:00pm	Discussion

Sponsor · Invited Speakers · Visitors and Participants · Overview · Application · Lectures · Venue · Contacts

National University of Singapore

Institute for Mathematical Sciences Event Archive

Asian Initiative for Infinity (AII) Graduate Summer School (20 June - 17 July 2012)

Asian Initiative for Infinity (AII) Graduate Summer School
(20 June - 17 July 2012)