2012 seminar talk: Complexity of equivalence relations
Talk held by André Nies (University of Auckland, New Zealand) at the KGRC seminar on 2012-05-16.
Abstract
We study the complexity of equivalence relations, and in particular isomorphism relations, in a variety of settings: from descriptive set theory via computability theory to computational complexity theory.