Vaught’s Conjecture in Computability Theory
We’ll describe Vaught’s conjecture, which is one of the most well-known and longest-standing open questions in mathematical 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. Tea at 3:33 pm in Stevenson 1425. (Contact Person: Costas Tsinakis)
Tags: Colloquium 17-18