Institute for Mathematical Sciences Event Archive

Online registration form

Financial assistance application form Students

Postdoctoral scholars and researchers

Application for financial support is closed.

Enquiries General Scientific aspects

Summer School
Group Photo

Tutorial Speakers

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

National University of Singapore

Institute for Mathematical Sciences Event Archive

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

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