Institute for Mathematical Sciences

Monday, 11 Sep 2017

09:20am - 09:30amRegistration
09:30am - 10:30am

Roots of polynomials in fields of generalized power series

(PDF) (Video)

Julia Knight
University of Notre Dame, USA
10:30am - 11:00amGroup Photo & Coffee Break
11:00am - 12:00pm

Computability and model-theoretic aspects of families of sets and its generalizations

(Video)

Iskander Sh. Kalimullin
Kazan Federal University, Russia
12:00pm - 02:00pmLunch Break
02:00pm - 05:00pmActivities held in conjunction with
Workshop on Computability Theory and the Foundations of Mathematics (4 - 8 September 2017)

Tuesday, 12 Sep 2017

09:20am - 09:30amRegistration
09:30am - 10:30am

The reverse mathematics of model theory and first-order principles

(PDF)

Denis Hirschfeldt
The University of Chicago, USA
10:30am - 11:00amCoffee Break
11:00am - 12:00pm

Weakly homogeneous structures

(PDF)

Douglas Cenzer
University of Florida, USA
12:00pm - 02:00pmLunch Reception at IMS

Wednesday, 13 Sep 2017

09:50am - 10:00amRegistration
10:00am - 12:00pmResearch discussion

Thursday, 14 Sep 2017

09:20am - 09:30amRegistration
09:30am - 10:30am

Some computability theory of finitely generated structures

(PDF) (Video)

Matthew Harrison-Trainer
University of Waterloo, Canada
10:30am - 11:00amCoffee Break
11:00am - 12:00pm

Ordered abelian groups, generalized series and integer parts

(PDF) (Video)

Reed Solomon
University of Connecticut, USA
12:00pm - 02:00pmLunch Break
02:00pmVenue: LT31, Block S16, Level 3, Faculty of Science, NUS, 6 Science Drive 2 Singapore 117546
02:00pm - 03:00pm

Public lecture:

Waking Up from Leibniz' Dream: On the Unmechanizability of Truth

Denis Hirschfeldt
The University of Chicago, USA

Friday, 15 Sep 2017

09:20am - 09:30amRegistration
09:30am - 10:30am

The automorphisms of the lattice of x-computably enumerable vector spaces

(PDF)

Valentina Harizanov
The George Washington University, USA
10:30am - 11:00amCoffee Break
11:00am - 12:00pm

An optimal description of computably categorical torsion abelian groups

(PDF)

Alexander Melnikov
Massey University, New Zealand
12:00pm - 02:00pmLunch Break