Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“R.i.c.e. relations”

This week we start chapter 2 and introduce some Relatively intrinsic notions. Basically we discuss R.i.c.e. (relatively intrinsic computably enumerable) relations and give some examples. Our goal is to prove a characterization theorem for R.i.c.e. relations.

MC 5417