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.