Event Detail
Fri Aug 28, 2015 60 Evans Hall, 4:10–6 PM |
Logic Colloquium Antonio Montalban (Associate Professor of Mathematics, UC Berkeley) Analytic Equivalence Relations with ℵ_1-many Classes |
We will survey the new results connecting Vaught’s conjecture and computability theory. We will look at some of these result from the more general viewpoint of analytic equivalence relations.
There are two types of results we will concentrate on. On the one hand are the ones about equivalence relations satisfying hyperarithmetic-is-recursive, which provide a purely computability theoretic equivalent to Vaught’s conjecture. On the other hand are the ones about equivalence relations on the natural numbers that are “intermediate,” which I hope will eventually provide another equivalent statement.