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 http://arxiv.org/pdf/1511.08875.pdf