Frank Stephan: Covering the Recursive Sets

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 14 October 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.

This talk is based on joint work with Bjoern Kjos-Hanssen
and Sebastiaan A. Terwijn.

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.