Institute for Mathematical Sciences Event Archive
Online registration form
Enquiries |
|
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
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 |
Antonio Montalban, University of Chicago, USA |
Tuesday,
2 Aug 2011 |
|
09:15am - 09:30am |
Registration |
09:30am - 10:30am |
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 |
|
Sponsor · Visitors and Participants · Overview · Venue · Activities · Contacts
