Michael Deveau, Department of Pure Mathematics, University of Waterloo
“Enumeration Degree and Existential Atomicity”
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