Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
    Register

 

Enquiries

      General

      Scientific aspects


   

Sets and Computations
(30 March - 30 April 2015)

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

 Organizing Committee


 

 Visitors and Participants

 

 

 Overview

 

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.


Some topics of great current interest in computability are: local and global degree theory, algorithmic randomness, reverse mathematics and reverse recursion theory, higher recursion theory and higher randomness, recursive model theory.


Recently, important connections between these fields have emerged: computable descriptive set theory, computability theory for uncountable structures, forcing in computational complexity theory, complexity theory for computations on sets, infinite-time Turing machines.


 Activities

 

Outline of Program Structure


Week 1 - 2 (30 March - 10 April 2015): Set theory (forcing, large cardinals, descriptive set theory)


Week 3 (13 - 17 April 2015): Interactions between set theory and computability theory (computational complexity in set theory, computational descriptive set theory, forcing in computational complexity theory, etc)


Week 4 - 5 (20 - 30 April 2015): Computability theory (degree theory, reverse mathematics, higher recursion theory)


* Our office will be closed on the following dates being Singapore public holidays.

3 April 2015 - Good Friday

 

Students and researchers who are interested in attending these activities are requested to complete the online registration form.

The following do not need to register:

  • Those invited to participate.


 

 Venue

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

top
Best viewed with IE 7 and above