Keng Meng Ng: Constructing minimal pairs.

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 01 October 2014, 17:00 hrs

Room: S17#04-04, Department of Mathematics, NUS

Speaker: Keng Meng Ng

Title: Constructing minimal pairs.

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

Abstract: We show how to use the determinacy of finite games to construct
minimal pairs in the truth-table degrees.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.