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