Logic List Mailing Archive

Higher Recursion Theory & Set Theory

20 May - 14 Jun 2019
Singapore, Singapore

Higher Recursion Theory and Set Theory
in celebration of the research work of Professors Theodore A. Slaman and 
W. Hugh Woodin
20 May - 14 Jun 2019
The Institute for Mathematical Sciences
National University of Singapore

Organizing Committee

     James Cummings (Carnegie Mellon University)
     Andrew Marks (University of California, Los Angeles)
     Yue Yang (National University of Singapore)
     Liang Yu (Nanjing University)

General Enquiries: ims(AT)nus.edu.sg
Scientific Aspects Enquiries: matyangy(AT)nus.edu.sg

The programme will focus on the part of recursion theory that studies 
subsets of the natural numbers beyond arithmetical sets, and the theory of 
computability or definability on domains beyond the set of natural 
numbers, including Martin's conjecture and higher randomness. In set 
theory, it will concern topics that have close connections with 
definability, such as Woodin's program on ultimate L, the HOD conjecture, 
and descriptive inner model theory. This program also marks the 65th 
birthdays of Ted Slaman and Hugh Woodin, which occur in 2019 and 2020, For 
more information, visit 
https://ims.nus.edu.sg/events/2019/recur/index.php.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam