Computability Learning Seminar

Jonny Stephenson, Department of Pure Mathematics, University of Waterloo

"1-generic presentations and r.i.c.e. sets"

We will conclude our study of 1-generic presentations by showing that there is a strong link between 1-genericity and r.i.c.e sets. In particular, we will see that if A is a 1-generic presentation, then the sets which are c.e. in D(A) are precisely those which are r.i.c.e.
 

MC 5403