Sets and Computations, 30 March – 30 April 2015

Two extremely active areas of modern mathematical logic are Computability Theory and Set Theory. These fields are intensively researched in many parts of the USA, Europe and Asia, including Singapore. One purpose of this programme is to bring leading researchers in these fields to the IMS for collaboration with researchers from Singapore and other parts of Asia. A second purpose is to develop newly-emerging and valuable connections between these fields. The result will be to strengthen cooperation between Singapore and research groups elsewhere, as well as to forge new connections between computability-theorists and set-theorists.

Some topics of great current interest in set theory are: cardinal characteristics, iterated forcing, large cardinals, cardinal arithmetic, the structure of HOD, descriptive set theory, inner model theory and determinacy.