Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   

Enquiries

      General

      Scientific aspects


   

Workshop on Recursion Theory
(1 - 5 Aug 2011)

Jointly funded by the John Templeton Foundation


Sponsor · Visitors and Participants · Overview · Venue · Activities · Contacts


Venue: IMS Auditorium

 

 

Monday, 1 Aug 2011

09:15am - 09:30am

Registration

09:30am - 10:30am

Classes of computably enumerable degrees realizable in $\Pi_1^0$ classes

Rod Downey, Victoria University of Wellington, New Zealand

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

The typical Turing degree

Andy Lewis, University of Leeds, UK

12:00nn - 02:00pm

--- Lunch and Free Discussion ---

02:00pm - 03:00pm

Spectra of categoricity of computable structures

Ekaterina Fokina, University of Vienna, Austria

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

The jump of a structure

Antonio Montalban, University of Chicago, USA

Tuesday, 2 Aug 2011

09:15am - 09:30am

Registration

09:30am - 10:30am

Random sets

Douglas Cenzer, University of Florida, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

The computational strength of random reals

Keng Meng Ng, Nanyang Technological University

12:00nn - 02:00pm

--- Lunch and Free Discussion ---

02:00pm - 03:00pm

Slaman-soare phenomenon in Ershov hierarchy

Jiang Liu, Chinese Academy of Sciences, China

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

On Sigma-presentatios of the real numbers over the real numbers

Andrei Morozov, Novosibirsk State University, Russia

Wednesday, 3 Aug 2011

09:15am - 09:30am

Registration

09:30am - 10:30am

Definability in the local theory of the enumeration degrees

Hristo Ganchev, Sofia University, Bulgaria

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

The structure of the omega-enumeration degrees

Mariya Soskova, Sofia University, Bulgaria

12:00nn - 02:00pm

--- Lunch and Free Discussion ---

Thursday, 4 Aug 2011

09:15am - 09:30am

Registration

09:30am - 10:30am

Partial functions and domination

Frank Stephan, National University of Singapore

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

Reverse mathematics and rainbow ramsey theorems

Wei Wang, Sun Yat-sen University, China

12:00nn - 02:00pm

--- Lunch and Free Discussion ---

02:00pm - 03:00pm

Toward deciding the AE-theory of the Sigma^0_2-enumeration degrees

Steffen Lempp, University of Wisconsin, USA

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

Cupping degrees to 0'

Guohua Wu, Nanyang Technological University

06:30pm

Social Event

Friday, 5 Aug 2011

09:15am - 09:30am

Registration

09:30am - 10:30am

Algorithmic equivalence relations

Jan Reimann, Pennsylvania State University, USA

10:30am - 11:00am

--- Coffee Break ---

11:00am - 12:00nn

Autostability relative to decidable representations

Sergei Goncharov, Novosibirsk State University, Russia

12:00nn - 02:00pm

--- Lunch and Free Discussion ---

02:00pm - 03:00pm

Spectra of structures and theories

Joseph Miller, University of Wisconsin, USA

03:00pm - 03:30pm

--- Coffee Break ---

03:30pm - 04:30pm

Final discussion

 

Sponsor · Visitors and Participants · Overview · Venue · Activities · Contacts

top
Best viewed with IE 7 and above