Computability Learning Seminar

Wednesday, March 23, 2016 3:30 pm - 3:30 pm EDT (GMT -04:00)

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