Higher Recursion Theory and Set Theory

(20 May 2019–14 Jun 2019)


in celebration of the research work of Professors Theodore A. Slaman and W. Hugh Woodin

Organizing Committee

  • Yue Yang  (National University of Singapore)

Contact Information

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


By “higher recursion theory”, we mean the part of recursion theory that either focuses on subsets of the natural numbers beyond arithmetical sets or studies the theory of computability or definability on domains beyond the set of natural numbers. For example, the former includes the study of hyperarithmetic sets and descriptive set theory, while the latter includes alpha-recursion theory and e-recursion theory which study computability theory on ordinals and aspects of the fine structure theory of the constructible universe L and Q theory. Although we did not mention specific areas of “set theory” in the title, we intend to focus on topics in set theory that have close connections with definability, for example Woodin’s program on ultimate L, the HOD conjecture, and descriptive inner model theory.

Higher recursion theory and the parts of set theory mentioned above have a long history of interaction. The interaction continues until now. This workshop would provide a valuable chance for these communities to interact and work on shared concerns in these areas.

The program will focus on the following topics:

  • Martin’s Conjecture;
  • higher randomness;
  • the HOD conjecture;
  • descriptive inner model theory (DIMT), the core model induction and the mouse set conjecture; and
  • suitable extender sequences and Ultimate L.


For full details of the program, please click here.

There will be talks in the mornings and free discussions in the afternoons.

  • Collaborative Research and Workshop: 20 May–14 June 2019
  • Workshop on Higher Recursion Theory: 20–24 May 2019
  • Workshop on Recursion Theory, Set Theory and their interactions: 27 May–7 June 2019
  • Workshop on Set Theory: 10–14 June 2019
  • IMS Distinguished Visitor Lecture Series
    • Theodore A. Slaman, University of California, Berkeley, USA
    • W. Hugh Woodin, Harvard University, USA
  • Public Lecture: 13 June 2019, 6:30pm–7:30pm
    Can Every Mathematical Problem Be Solved?
    Menachem Magidor, The Hebrew University of Jerusalem, Israel
    Venue: Lecture Theatre 31, NUS, Block S16, Level 3, 6 Science Drive 2, Singapore 117546

Please note that our office will be closed on the following public holiday.
– 19 May 2019, Vesak Day, the following Monday, 20 May 2019 will be a Public Holiday.
– 5 Jun 2019, Hari Raya Puasa.



Scroll to Top