Computability Learning Seminar

Tuesday, September 27, 2016 3:30 pm - 3:30 pm EDT (GMT -04:00)

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