Using a combination of effective descriptive set theory and topological methods, we will prove Silver's theorem that every coanalytic equivalence relation on a standard Borel space has either countably many or perfectly many equivalence classes. By 'perfectly many' we mean that the Cantor set can be continuously embedded into the quotient space, which is stronger than just having continuum many classes.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now