Institute for Mathematical Sciences Event Archive

Workshop on Classical Computability Theory

(4 - 8 September 2017)

Venue: IMS Auditorium
PDF Abstracts

Activities on 8 September are held in conjunction with the Workshop on Computability Theory and the Foundations of Mathematics (8 - 12 September 2017)

Monday, 04 Sep 2017

08:50am - 09:00amRegistration
09:00am - 10:00am

Array noncomputability for left-c.e. reals and not totally ω-c.e. degrees

(PDF)



Klaus Ambos-Spies
Heidelberg University, Germany
Nadine Losert
Universität Heidelberg, Germany
10:00am - 10:30amCoffee Break
10:30am - 11:30am

Wadge-like classifications of real-valued functions

(PDF) (Video)



Takayuki Kihara
Nagoya University, Japan
11:30am - 02:00pmLunch Break

Tuesday, 05 Sep 2017

08:50am - 09:00amRegistration
09:00am - 10:00am

Algorithmically random structures

(PDF) (Video)



Bakhadyr Khoussainov
University of Auckland, New Zealand
10:00am - 10:30amCoffee Break
10:30am - 11:30am

Lowness notions in the C.E. sets

(PDF) (Video)



Peter Cholak
University of Notre Dame, USA
11:30am - 02:00pmLunch Break

Wednesday, 06 Sep 2017

08:50am - 09:00amRegistration
09:00am - 10:00am

Reducibility of metrics on the real line

(PDF) (Video)



Ruslan Kornev
Sobolev Institute of Mathematics, Russia
10:00am - 10:30amCoffee Break
10:30am - 11:30am

Degrees of autostability relative to strong constructivizations of structures of finite signature

(PDF) (Video)



Margarita Marchuk
Sobolev Institute of Mathematics, Russia
11:30am - 02:00pmLunch Break
06:30pmBanquet Dinner (Volunteer and self paid)
Kent Ridge Guild House, Cluny and Dalvey Room
Address: 9 Kent Ridge Drive, Singapore 119241

Thursday, 07 Sep 2017

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

Friday, 08 Sep 2017

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

Cototal enumeration degrees and the skip operator

(PDF) (Video)



Alexandra A. Soskova
Sofia University, Bulgaria
10:30am - 11:00amGroup Photo & Coffee Break
11:00am - 04:30pmActivities held in conjunction with
Workshop on Computability Theory and the Foundations of Mathematics (8 - 12 Sep 2017)