Jointly Organized by the Institute for Mathematical Sciences and Department of Mathematics

WORKSHOP ON MATHEMATICAL LOGIC
AND ITS APPLICATIONS

17 & 18 Jun 2004
9:00am – 5:10pm

IMS Auditorium
Institute for Mathematical Sciences (NUS)
3, Prince George's Park, Singapore 118402

Online Registration

• Chi Tat Chong (National University of Singapore)
• Qi Feng (Chinese Academy of Sciences, China and National University of Singapore)
• Ansheng Li (Chinese Academy of Sciences, China)
• Peter A. Loeb (University of Illinois at Urbana-Champaign, USA)
• Hong Lu (Nanjing University, China)
• Theodore A. Slaman (University of California at Berkeley, USA)
• Yeneng Sun (National University of Singaproe)
• W. Hugh Woodin (University of California at Berkeley, USA)
• Guohua Wu (Victoria University of Wellington, New Zealand)
• Yue Yang (National University of Singapore)

 

Thu, 17 Jun 2004 (Day 1)
09:00am - 09:25am	Registration
09:25am - 09:30am	Opening Remarks
09:30am - 10:20am	Equivalence for the determinacy of real games W. Hugh Woodin, University of California at Berkeley, USA
10:20am - 10:40am	--- Tea Break ---
10:40am - 11:30am	Supercomplete extenders and type 1 mice Qi Feng, Chinese Academy of Sciences, China and National University of Singapore
11:30am - 12:20pm	Isolation pairs and enumeration degrees Yue Yang, National University of Singapore
12:20pm - 15:00pm	--- Lunch break ---
15:00pm - 15:50pm	Randomness and recursive enumerability Theodore A. Slaman, University of California at Berkeley, USA
15:50pm - 16:40pm	Isolation and lattice embeddings Guohua Wu, Victoria University of Wellington, New Zealand
16:40pm - 17:10pm	--- Tea Break ---
Fri, 18 Jun 2004 (Day 2)
09:30am - 10:20am	Base operators in analysis and a generalization of Monads Peter A. Loeb, University of Illinois at Urbana-Champaign, USA
10:20am - 10:40am	--- Tea Break ---
10:40am - 11:30am	Cupping in local turing degrees Ansheng Li, Chinese Academy of Sciences, China
11:30am - 12:20pm	TBA Hong Lu, Nanjing University, China
12:20pm - 15:00pm	--- Lunch break ---
15:00pm - 15:50pm	The jump of a ∑n cut Chi Tat Chong, National University of Singapore
15:50pm - 16:40pm	Model-theoretic ideas in probability theory and economics Yeneng Sun, National University of Singapore
16:40pm - 17:10pm	--- Tea Break ---