Institute for Mathematical Sciences Event Archive
Online registration form
Enquiries |
|
IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics
(15 - 16 January 2016)
Organizing Committee · Visitors and Participants · Overview · Activities · Venue
- Chi Tat Chong (National University of Singapore)
- Frank Stephan (National University of Singapore)
- Kazuyuki Tanaka (Tohoku University)
- Yue Yang (National University of Singapore)
This workshop is jointly sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. There has been increasing interaction among researchers in East Asia in the field of the foundations of mathematics and mathematical logic. This has led to the organization of a number of workshops and conferences in China, Japan, Korea and Singapore with active participation of researchers from the region. Three successful workshops in computability theory (recursion theory) and the foundations of mathematics were held in the city of Tokyo in 2013, 2014 and 2015, the last two of which were also recognized as part of the joint JSPS-NUS collaboration project. The first workshop in Singapore under this project took place at the IMS in September 2014. This two-day workshop is the second to be organized at the IMS and will provide a venue for continued interaction and serve as a platform for exploring new research collaboration opportunities in three broad areas of common interest: reverse mathematics (involving both standard and nonstandard models of arithmetic), algorithmic randomness (in both classical and higher setting), and set theory (particularly cardinal characters of the continuum).
The first day of the workshop will focus on reverse mathematics and forms part of the New Challenges in Reverse Mathematics program. The second day of the workshop shifts its attention to set theory and general topics in recursion theory.
09:45am - 10:00am |
Registration |
10:00am - 11:00am |
Determinacy strength of infinite games in omega-languages recognized by variations of automata (PDF) |
11:00am - 11:30am |
-- Group Photo & Coffee Break --- |
11:30am - 12:30pm |
The proof-theoretic strength of Ramsey's theorem for pairs (PDF) |
12:30pm - 02:00pm |
--- Lunch Break --- |
02:00pm - 03:00pm |
Reflection and the fine-structure theorem (PDF) |
03:00pm - 03:30pm |
-- Coffee Break --- |
03:30pm - 04:30pm |
Weak choice principles in the Weihrauch degrees (PDF) |
Saturday, 16 Jan 2016 |
|
09:10am - 09:15am |
Registration |
09:15am - 09:55am |
The downward directed grounds hypothesis (PDF) |
10:00am - 10:15am |
-- Coffee Break --- |
10:15am - 10:55am |
Boolean valued second order logic (PDF) |
11:00am - 11:40am |
Forcing with matrices of countable elementary submodels (PDF) |
11:45am - 12:25pm |
A survey on Q-degrees (PDF) |
12:25pm - 01:45pm |
--- Lunch Break --- |
01:45pm - 02:25pm |
An overview on recent results on semiautomatic groups and semigroups (PDF) |
02:30pm - 03:10pm |
The uniqueness of Eigen-distribution for multi-branching trees (PDF) |
03:15pm - 03:30pm |
-- Coffee Break --- |
03:30pm - 04:10pm |
Thoughts on indicators and density notions (PDF) Keita Yokoyama, Japan Advanced Institute of Science and Technology, Japan |
04:15pm - 04:55pm |
Characterizing uniform provability by intuitionistic provability (PDF) |
05:00pm - 05:40pm |
Another algebraic decomposition of R (PDF) |
06:15pm - 08:30pm |
Dinner (Volunteer and self paid) |
Organizing Committee · Visitors and Participants · Overview · Activities · Venue
