## 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.