Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

“Closure properties of K-trivial sets”

The main fact we want to establish this week is that the class of K-trivial sets is closed under the join operator ⊕ and under weak truth-table reducibility. We may go further in section 5.2 and try to understand K-triviality by varying it (we may consider C-triviality, or replace the constant in the definition of K-triviality by some slowly growing function).

MC 5403