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.
Abstract: We show how to use the determinacy of finite games to construct
minimal pairs in the truth-table degrees.