Liu Yiqun: I Sigma-3 and Universal Cupping degrees

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 02 April 2014, 17:00 hrs

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

Speaker: Liu Yiqun

Title: I Sigma-3 and Universal Cupping degrees


In this talk, we use the typical 0”’-Injury method to re-tackle
the Universal Cupping degree theorem which asserts there exists a
omega-c.e. degree d < 0′ such that for any nonzero c.e. w,
the join of w and d is 0′. Based on this, we claim
P- + I Sigma-3 proves the existence of the universal
cupping degree.

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.