Vaught's conjecture in computability theory
Antonio Montalbán (UC Berkeley)
Thursday, October 26, 2017
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.