Computability Learning Seminar

Thursday, August 20, 2015 2:00 pm - 2:00 pm EDT (GMT -04:00)

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Embedding Lattices in the Computably Enumerable Degrees (Part 3)”

We continue with the proof that the non-distributive lattice M5 can be embedded into the c.e. degrees. We will begin with a somewhat brief reminder of the details of the construction presented last week by Jonny, and then begin work on the verification of the construction to show that it gives the desired result.

MC 5403

**Please note Room Change**