Logic Seminar
David Marker
UIC
Montalban on Vaught's Conjecture
Abstract: Antonio Montalban has proved (under the assumption of
projective determinacy) that
an $L_{\omega_1,\omega}$-sentence is a counterexample to Vaught's
Conjecture if and only
if there is a cone in the Turing degrees where every
$X$-hyperarithmetic model has an
$X$-recursive copy.
I will give background material and describe Montalban's results.
Tuesday September 18, 2012 at 4:00 PM in SEO 427