Institute for Mathematical Sciences                                        Programs & Activities

 

   
 


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

top
Best viewed with IE 7 and above