Event Detail

Fri Sep 21, 2012
60 Evans Hall
4:10–6 PM
Logic Colloquium
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.