“Enumeration Degree and Existential Atomicity”

Tuesday, February 28, 2017 3:30 pm - 3:30 pm EST (GMT -05:00)

Michael Deveau, Department of Pure Mathematics, University of Waterloo

We will investigate the notion of a Turing degree of a structure. However, since it is not as useful as we would hope, we instead use enumeration degrees, which prove more fruitful. We then establish some results concerning existential atomicity of a structure.

MC 5403