Colloquium

Vaught's conjecture in computability theory

Antonio Montalbán (UC Berkeley)

Thursday, October 26, 2017 4:00 pm
MONT 214

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.