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.