David Belanger: New conservation theorems for COH

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 9 September 2015, 17:00 hrs

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

Speaker: David Belanger

Title: New conservation theorems for COH

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

We prove a series of conservation results for COH over various axiom
systems, extending earlier results of Cholak-Jockusch-Slaman and of
Chong-Slaman-Yue. Our method is new, however, and carries a number of
advantages. Along the way we revisit and formalize several well-known
theorems from recursion theory, including some from Post, from
Friedberg and from Jockusch-Stephan.

Leave a Reply

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


Time limit is exhausted. Please reload CAPTCHA.