Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

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

top
Best viewed with IE 7 and above