Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"1-Generic Reals"

1-generic reals are a special effective case of Cohen generic reals. They were introduced by Jockusch but they been used before that in Kleene-Post construction of two incomparable degrees. We will talk about them in more detail and prove some basic results.

MC 5403