Invitation to the Logic Seminar at the National University of Singapore
Date: Wednesday, 11 November 2015, 17:00 hrs
Room: S17#04-06, Department of Mathematics, NUS
Speaker: Liu Yong
Title: maximal d.r.e. degrees and avoiding the upper cone.
Abstract: We will review briefly the strategy for avoiding the upper
cone of a given nonrecursive r.e. set, and the strategy for building a
maximal d.r.e. set. And explain how to combine these two strategies.
Therefore we can build a maximal d.r.e. set avoiding the upper cone of
a given nonrecursive r.e. set.