Computability Learning Seminarr

Monday, April 13, 2026 1:00 pm - 2:30 pm EDT (GMT -04:00)

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