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