Title: Vaught's conjecture in computability theory Speaker: Antonio Montalbán (UC Berkeley)
Time: Thursday, October 26, 2017 at 4:00 pm Place: MONT 214Abstract: We'll describe Vaught's conjecture, which is one of the most well-known and longest-standing open questions in logic. The conjecture essentially says that the continuum hypothesis holds when restricted to counting the number of models of a theory. We'll mention the author's result that this conjecture is equivalent to a computability-theoretic statement.