Antonio Montalban
(University of Chicago)
A Computability Theoretic Equivalent to Vaught's Conjecture
We find two computability theoretic properties on the models of a theory
T
which hold if and only if
T
is a counterexample to Vaught's conjecture.