Institute for Mathematical Sciences

IMS Graduate Summer School in Logic

Jointly organized with Department of Mathematics, NUS

(18 Jun - 6 Jul 2018)

Venue:
PDF Abstracts

Monday, 18 Jun 2018

09:15amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS (AM & PM)
09:15am - 10:30am

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
10:30am - 11:00amCoffee Break
11:00am - 12:15pm

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
12:15pm - 02:00pmLunch Break
02:00pm - 04:00pm Discussion

Tuesday, 19 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS (AM & PM)
09:30am - 10:45am

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
12:30pm - 02:00pmLunch Break
02:00pm - 04:00pm Discussion

Wednesday, 20 Jun 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
10:45am - 11:15amGroup Photo & Coffee Break
11:15am - 12:30pm

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
12:30pm - 02:00pmLunch Reception at IMS
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Thursday, 21 Jun 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Friday, 22 Jun 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)



W. Hugh Woodin
Harvard University, USA
12:30pm - 02:00pmLunch Break

Monday, 25 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS
09:30am - 10:45am

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion
04:00pm - 04:30pm

Some reductions between theorems around ATR



Jun Le Goh
Cornell University, USA
04:30pm - 05:00pm

Two consequences of the hugeness



Jinglun Cai
University of Barcelona, Spain

Tuesday, 26 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS
09:30am - 10:45am

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Wednesday, 27 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS
09:30am - 10:45am

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Thursday, 28 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS
09:30am - 10:45am

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion
04:00pm - 05:00pm

Factorials of infinite cardinals in ZF



Guozhen Shen
Chinese Academy of Sciences, China
05:00pm - 06:00pm

Factorials of infinite cardinals and finite-to-one maps



Jiachen Yuan
Chinese Academy of Sciences, China

Friday, 29 Jun 2018

09:30amVenue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS
09:30am - 10:45am

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Measure, dimension and computability



Theodore A. Slaman
The University of California, Berkeley, USA
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Monday, 02 Jul 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion
04:00pm - 04:30pm

Non-measurability of the algebraic sums of sets of real numbers



Ziemowit Kostana
University of Warsaw & Institute of Mathematics, Czech Academy of Sciences, Poland
04:30pm - 05:30pm

Interpolative fusions



Minh Chieu Tran
University of Illinois at Urbana Champaign, USA

Tuesday, 03 Jul 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Wednesday, 04 Jul 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Thursday, 05 Jul 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion

Friday, 06 Jul 2018

09:30amVenue: IMS Auditorium
09:30am - 10:45am

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
10:45am - 11:15amCoffee Break
11:15am - 12:30pm

Model theory of finite and pseudo-finite fields

(PDF)



Zoé Chatzidakis
Ecole Normale Supérieure, France
12:30pm - 02:00pmLunch Break
02:00pmVenue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS
02:00pm - 04:00pm Discussion