Institute for Mathematical Sciences Event Archive

Graduate Summer School application form (For students only) MSWord | PDF | PS

Online registration form

Enquiries General Scientific aspects

Asian Initiative for Infinity (AII) Graduate Summer School
(28 Jun - 23 Jul 2010)

Jointly funded by the John Templeton Foundation

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

Venue: LT24 (28 Jun - 2 Jul 2010)
Venue: IMS Auditorium (5 - 9 Jul 2010 & 12 - 16 Jul 2010)
Venue: LT22 (19 - 23 Jul 2010)

28 Jun - 2 Jul 2010 · 5 - 9 Jul 2010 · 12 - 16 Jul 2010 · 19 - 23 Jul 2010

Monday, 28 Jun 2010
09:00am - 10:15am	Introductory lectures Selwyn Keng Meng Ng, University of Wisconsin, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Introductory lectures Selwyn Keng Meng Ng, University of Wisconsin, USA
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Tuesday, 29 Jun 2010
09:00am - 10:15am	Introductory lectures Grigor Sargsyan, University of California at Berkeley, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Introductory lectures Grigor Sargsyan, University of California at Berkeley, USA
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Wednesday, 30 Jun 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:15pm	Measurable selections, transition probabilities and Kripke models Shashi Srivastava, Indian Statistical Institute Kolkata, India
03:15pm - 03:45pm	--- Coffee Break ---
03:45pm - 04:30pm	On strong $\Pi^1_1$ Martin-Lof randomness Liang Yu, Nanjing University, China
Thursday, 1 Jul 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Friday, 2 Jul 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---

28 Jun - 2 Jul 2010 · 5 - 9 Jul 2010 · 12 - 16 Jul 2010 · 19 - 23 Jul 2010

Monday, 5 Jul 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Tuesday, 6 Jul 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Wednesday, 7 Jul 2010
09:00am - 10:15am	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Prikry-type forcings and short extenders forcings Moti Gitik, Tel Aviv University, Israel
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 03:15pm	Mouse set conjecture in inner model theory Grigor Sargsyan, University of California at Berkeley, USA
03:15pm - 03:45pm	--- Coffee Break ---
03:45pm - 04:30pm	An introduction to array nonrecursive degrees Mingzhong Cai, Cornell University, USA
Thursday, 8 Jul 2010
09:00am - 10:15am	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
12:00nn - 02:30pm	--- Lunch Break ---
02:30pm - 04:00pm	Discussion

Friday, 9 Jul 2010
09:00am - 10:15am	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
12:00nn - 02:30pm	--- Lunch Break ---

28 Jun - 2 Jul 2010 · 5 - 9 Jul 2010 · 12 - 16 Jul 2010 · 19 - 23 Jul 2010

Monday, 12 Jul 2010
01:00pm - 02:15pm	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
02:15pm - 02:45pm	--- Coffee Break ---
02:45pm - 04:00pm	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA

Tuesday, 13 Jul 2010
09:00am - 10:15am	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 03:00pm	Discussion

Wednesday, 14 Jul 2010
09:00am - 10:15am	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 02:15pm	A basis for the uncountable linear orders Diana Ojeda Aristizabal, Cornell University, USA
02:15pm - 02:45pm	--- Coffee Break ---
02:45pm - 03:30pm	Jump inversion in effectively closed sets and applications to randomness Keng Meng (Selwyn) Ng, University of Wisconsin, USA
Thursday, 15 Jul 2010
09:00am - 10:15am	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	Reverse mathematics of combinatorial principles Denis Hirschfeldt, The University of Chicago, USA
12:00nn - 01:30pm	--- Lunch Break --- (lunch at IMS)
01:30pm - 02:30pm	Discussion
02:30pm - 02:45pm	--- Coffee Break ---
02:45pm - 04:15pm	Towards PCF (PDF) Omer Zilberboim, Hebrew University, Israel
04:15pm - 04:45pm	--- Coffee Break ---

Friday, 16 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 02:30pm	--- Lunch Break ---

28 Jun - 2 Jul 2010 · 5 - 9 Jul 2010 · 12 - 16 Jul 2010 · 19 - 23 Jul 2010

Monday, 19 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 03:00pm	Discussion

Tuesday, 20 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 03:00pm	Discussion

Wednesday, 21 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 02:15pm	Computable enumerability relative to 1-generics Wei Wang, Sun Yat-sen University, China
02:15pm - 02:45pm	--- Coffee Break ---
02:45pm - 03:30pm	Strong condensation for H(\omega_2) Liu Zhen Wu, Chinese Academy of Sciences, China
Thursday, 22 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 01:30pm	--- Lunch Break ---
01:30pm - 03:00pm	Discussion

Friday, 23 Jul 2010
09:00am - 10:15am	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
10:15am - 10:45am	--- Coffee Break ---
10:45am - 12:00nn	The theory of possible cofinalities (PCF) and some applications (EXE) Menachem Magidor, Hebrew University of Jerusalem, Israel
12:00nn - 02:30pm	--- Lunch Break ---

28 Jun - 2 Jul 2010 · 5 - 9 Jul 2010 · 12 - 16 Jul 2010 · 19 - 23 Jul 2010

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

Best viewed with IE 7 and above