Institute for Mathematical Sciences Event Archive
Enquiries |
|
IMS Graduate Summer School in Logic
(27 June - 15 July 2016)
Jointly organized with Department of Mathematics, NUS
Venue: IMS Auditorium (27 Jun - 1 Jul 2016, Morning session lectures)
Venue:Blk S17, Seminar Room, #04-06, Department of Mathematics, Faculty of Science, NUS
(4 - 15 Jul 2016, Morning session lectures & 27 Jun - 15 Jul 2016, Discussion session, 2pm - 4pm)
Venue:Blk S17, Seminar Room, #05-12, Department of Mathematics, Faculty of Science, NUS
(4pm - 4.30pm, 7 - 8, 12, 14 July 2016)
Invited Speakers · Visitors and Participants · Overview · Application · Venue · Activities · Contacts
09:30am - 10:45am |
Ultimate L, supercompact cardinals, and the inner model program I Hugh Woodin, Harvard University, USA |
10:45am - 11:15am |
--- Group Photo & Coffee Break --- |
11:15am - 12:30pm |
Ultimate L, supercompact cardinals, and the inner model program II Hugh Woodin, Harvard University, USA |
12:30pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Tuesday,
28 Jun 2016 |
|
09:30am - 10:45am |
Ultimate L, supercompact cardinals, and the inner model program III Hugh Woodin, Harvard University, USA |
10:45am - 11:15am |
--- Coffee Break --- |
11:15am - 12:30pm |
Ultimate L, supercompact cardinals, and the inner model program IV Hugh Woodin, Harvard University, USA |
12:30pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Wednesday,
29 Jun 2016 |
|
09:30am - 10:45am |
Ultimate L, supercompact cardinals, and the inner model program V Hugh Woodin, Harvard University, USA |
10:45am - 11:15am |
--- Coffee Break --- |
11:15am - 12:30pm |
Ultimate L, supercompact cardinals, and the inner model program VI Hugh Woodin, Harvard University, USA |
12:30pm - 02:00pm |
--- Lunch Break --- |
Thursday,
30 Jun 2016 |
|
09:30am - 10:45am |
Ultimate L, supercompact cardinals, and the inner model program VII Hugh Woodin, Harvard University, USA |
10:45am - 11:15am |
--- Coffee Break --- |
11:15am - 12:30pm |
Ultimate L, supercompact cardinals, and the inner model programVIII Hugh Woodin, Harvard University, USA |
12:30pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Friday, 1 Jul 2016 |
|
09:30am - 10:45am |
Ultimate L, supercompact cardinals, and the inner model program VIIII Hugh Woodin, Harvard University, USA |
10:45am - 11:15am |
--- Coffee Break --- |
11:15am - 12:30pm |
Ultimate L, supercompact cardinals, and the inner model program X Hugh Woodin, Harvard University, USA |
12:30pm - 02:00pm |
--- Lunch Reception at IMS --- |
02:00pm - 04:00pm |
Discussion |
09:00am - 10:30am |
Aspects of the Turing jump I Theodore A. Slaman, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
Aspects of the Turing jump II Theodore A. Slaman, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Tuesday, 5
Jul 2016 |
|
09:00am - 10:30am |
Aspects of the Turing jump III Theodore A. Slaman, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
Aspects of the Turing jump IV Theodore A. Slaman, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Wednesday,
6 Jul 2016 |
|
Please note that our office will be closed on the following public holiday - Hari Raya Puasa. |
|
Thursday,
7 Jul 2016 |
|
09:00am - 10:30am |
Aspects of the Turing jump V Theodore A. Slaman, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
Aspects of the Turing jump VI Theodore A. Slaman, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
04:00pm - 04:30pm |
Index sets of structures that are autostable relative to strong constructivizations Margarita Marchuk, Sobolev Institute of Mathematics, Russian Federation |
Friday, 8 Jul 2016 |
|
09:00am - 10:30am |
Aspects of the Turing jump VII Theodore A. Slaman, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
Aspects of the Turing jump VIII Theodore A. Slaman, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
04:00pm - 04:30pm |
Dino Rossegger, Vienna University of Technology, Austria |
09:00am - 10:30am |
O-minimality: from the fundamental theory to its applications in diophantine geometry I Thomas Scanlon, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
O-minimality: from the fundamental theory to its applications in diophantine geometry II Thomas Scanlon, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Tuesday, 12
Jul 2016 |
|
09:00am - 10:30am |
O-minimality: from the fundamental theory to its applications in diophantine geometry III Thomas Scanlon, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
O-minimality: from the fundamental theory to its applications in diophantine geometry IV Thomas Scanlon, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
04:00pm - 05:00pm |
Definable amenable groups in o-minimal structures Ningyuan Yao, Fudan University, China |
Wednesday,
13 Jul 2016 |
|
09:00am - 10:30am |
O-minimality: from the fundamental theory to its applications in diophantine geometry V Thomas Scanlon, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
O-minimality: from the fundamental theory to its applications in diophantine geometry VI Thomas Scanlon, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
Thursday,
14 Jul 2016 |
|
09:00am - 10:30am |
O-minimality: from the fundamental theory to its applications in diophantine geometry VII Thomas Scanlon, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
11:00am - 12:15pm |
O-minimality: from the fundamental theory to its applications in diophantine geometry VIII Thomas Scanlon, The University of California, Berkeley, USA |
12:15pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 04:00pm |
Discussion |
04:00pm - 05:00pm |
Comparison game on trace ideals Jialiang He, Sichuan University, China |
Friday, 15 Jul 2016 |
|
09:00am - 10:30am |
O-minimality: from the fundamental theory to its applications in diophantine geometry VIIII Thomas Scanlon, The University of California, Berkeley, USA |
10:30am - 11:00am |
--- Coffee Break --- |
Invited Speakers · Visitors and Participants · Overview · Application · Venue · Activities · Contacts
