Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"The Slaman-Wehner Family"

We introduce the Slaman-Wehner family, and use it to build a structure with an important property: it has no computable copy, but is computable in any non-computable set. In other words, this structure's degree spectrum is equal to the set of non-computable sets.

MC 5403