Wang Wei: Relative Definability of n-generic

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 27 January 2016, 17:00 hrs

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

Speaker: Wang Wei

Title: Relative Definability of n-generic.


Jockusch proved that every 1-generic G is recursively
enumerable in some X strictly Turing below G and every
2-generic H is properly Sigma-2 in some Y strictly Turing below H.
So he conjectured that every n-generic G is properly
Sigma-n in some X strictly Turing below G.
Recently I confirmed Jockusch’s conjecture.
Here I will sketch the solution.

The paper is available at

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.