Computability Learning Seminar
Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo
"Generic Reals and Generic Enumerations"
This week we first continue proving results about 1-generics, namely, we will talk about "mutually generic" reals. After that we move to the Generic Enumerations of structures where we decide r.i.c.e. sets on an $\omega$-presentations instead of c.e. sets of finite sequences.
MC 5413
Note different time and room for this week only.