Frank Stephan: Covering the Recursive Sets

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 19 August 2015, 17:00 hrs

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

Speaker: Frank Stephan

Title: Covering the Recursive Sets

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

The talk gives an overview of recent work which solves two problems of
Brendle, Brooke-Taylor, Ng and Nies. One construction is based on a
construction of Khan and Miller from 2014, the other construction is a
direct construction utilising martingales. Furthermore, the talk
introduces the notions of infinitely often subuniform families and
shows first results for these; these concepts also permit to get some
result towards the solution of the third problem of Brendle,
Brooke-Taylor, Ng and Nies.

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.