Logic Seminar
John Baldwin
UIC
Properties of counterexamples to Vaught's Conjecture
Abstract: We will discuss the results of Makkai and Harnik that every counterexample to the Vaught conjecture has
an uncountable model; indeed it has both an uncountable model which is $\infty,\omega$-equivalent to a
countable model and one which is not. We give an `admissible set free' proof of the first result. Further,
we observe that any first order counterexample to Vaught's conjecture has $2^{\aleph_1}$ models of
power $\aleph_1$.
Tuesday January 24, 2006 at 4:00 PM in SEO 427