Institute for Mathematical Sciences                                        Programs & Activities

 

   
 


Online registration form
   

 


Financial assistance application form

Students


Postdoctoral scholars and researchers


Application for financial support is closed.


Enquiries

      General

      Scientific aspects




   

Computational Prospects of Infinity II: AII Graduate Summer School
(15 June - 13 July 2011)

Jointly funded by the John Templeton Foundation

 

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


Venue: IMS Auditorium

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

 

 Wednesday, 15 Jun 2011

09:15am - 10:30am

The structure of the Turing degrees I (PDF)

Richard Shore, Cornell University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The structure of the Turing degrees II (PDF)

Richard Shore, Cornell University, USA

12:15pm - 02:00pm

--- Lunch Break ---

Thursday, 16 Jun 2011

09:15am - 10:30am

The structure of the Turing degrees III (PDF)

Richard Shore, Cornell University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The structure of the Turing degrees IV (PDF)

Richard Shore, Cornell University, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 17 Jun 2011

09:15am - 10:30am

The structure of the Turing degrees V (PDF)

Richard Shore, Cornell University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The structure of the Turing degrees VI (PDF)

Richard Shore, Cornell University, USA

12:15pm - 02:00pm

--- Lunch Reception at IMS ---

02:00pm - 04:00pm

Discussion

Monday, 20 Jun 2011

09:15am - 10:30am

The structure of the Turing degrees VII (PDF)

Richard Shore, Cornell University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The structure of the Turing degrees VIII (PDF)

Richard Shore, Cornell University, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 21 Jun 2011

09:15am - 10:30am

The structure of the Turing degrees IX (PDF)

Richard Shore, Cornell University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The structure of the Turing degrees X (PDF)

Richard Shore, Cornell University, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 22 Jun 2011

09:15am - 10:30am

Iteration trees I (PDF)

John Steel, University of California at Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Iteration trees II (PDF)

John Steel, University of California at Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

Thursday, 23 Jun 2011

09:15am - 10:30am

Iteration trees III (PDF)

John Steel, University of California at Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Iteration trees IV (PDF)

John Steel, University of California at Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 24 Jun 2011

09:15am - 10:30am

Iteration trees V (PDF)

John Steel, University of California at Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Iteration trees VI (PDF)

John Steel, University of California at Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Monday, 27 Jun 2011

09:15am - 10:30am

Iteration trees VII (PDF) (PDF2)

John Steel, University of California at Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Iteration trees VIII (PDF) (PDF2)

John Steel, University of California at Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 28 Jun 2011

09:15am - 10:30am

Iteration trees IX (PDF) (PDF2)

John Steel, University of California at Berkeley, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Iteration trees X (PDF) (PDF2)

John Steel, University of California at Berkeley, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Thursday, 30 Jun 2011

09:15am - 10:30am

Algorithmic randomness and turing reducibility I

Adam Day, Victoria University of Wellington, New Zealand

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Algorithmic randomness and turing reducibility II

Adam Day, Victoria University of Wellington, New Zealand

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 1 Jul 2011

09:15am - 10:30am

Capturing degrees of definability via models of set theory I

Grigor Sargsyan, University of California at Los Angeles, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Capturing degrees of definability via models of set theory II

Grigor Sargsyan, University of California at Los Angeles, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Monday, 4 Jul 2011

09:15am - 10:30am

Reverse mathematics and irregular principles I

Damir Dzhafarov, University of Notre Dame, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Reverse mathematics and irregular principles II

Damir Dzhafarov, University of Notre Dame, USA

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 5 Jul 2011

09:15am - 10:30am

The definability of radicals in commutative and noncommutative rings I

Chris Conidis, University of Waterloo, Canada

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The definability of radicals in commutative and noncommutative rings II

Chris Conidis, University of Waterloo, Canada

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 6 Jul 2011

08:30am - 12:30pm

Excursion to MacRitchie Reservoir

 

Transport will be provided for AII participants and their family members

08:30am NUS University Hall to MacRitchie Reservoir

12:30pm MacRitchie Reservoir to NUS University Hall

Thursday, 7 Jul 2011

09:15am - 10:30am

Coherent extender sequences I
Hugh Woodin, University of California at Berkeley, USA and National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Coherent extender sequences II

Hugh Woodin, University of California at Berkeley, USA and National University of Singapore

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Friday, 8 Jul 2011

09:15am - 10:30am

Where comparison fails III

Hugh Woodin, University of California at Berkeley, USA and National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

Where comparison fails IV
Hugh Woodin, University of California at Berkeley, USA and National University of Singapore

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Monday, 11 Jul 2011

09:15am - 10:30am

Supercompact cardinals V

Hugh Woodin, University of California at Berkeley, USA and National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The global structure of the Turing degrees I

Theodore Slaman, University of California at Berkeley, USA and National University of Singapore

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Tuesday, 12 Jul 2011

09:15am - 10:30am

The global structure of the Turing degrees II

Theodore Slaman, University of California at Berkeley, USA and National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The global structure of the Turing degrees III

Theodore Slaman, University of California at Berkeley, USA and National University of Singapore

12:15pm - 02:00pm

--- Lunch Break ---

02:00pm - 04:00pm

Discussion

Wednesday, 13 Jul 2011

09:15am - 10:30am

The global structure of the Turing degrees IV

Theodore Slaman, University of California at Berkeley, USA and National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:15pm

The global structure of the Turing degrees V

Theodore Slaman, University of California at Berkeley, USA and National University of Singapore

12:15pm - 02:00pm

--- Lunch Break ---

 

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

top
Best viewed with IE 7 and above