Fri Sep 21, 2012
60 Evans Hall, 4:10–6 PM
Antonio Montalban (UC Berkeley)
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.