Computability Learning Seminarr
Joey Lakerdas-Gayle, University of Waterloo
K-triviality
We will introduce K-trivial sets following Chapter 11 of Downey & Hirschfeldt. We will prove some basic factssuch as the Solovay-Zambella Theorem that there exist noncomputable K-trivial c.e. sets.
MC 5403