Speaker: Jessica M. Young
Title: On Martin's Conjecture
 
Given a consistent first order theory T, let L' be the language
fragment generated by the consistent types of T.  Martin's conjecture
states that if T has fewer than continuum many countable models, then
for every model M of T, the L' theory of M is aleph-0 categorical.
Martin's conjecture is a substantial strengthening of Vaught's
conjecture.  We provide a counterexample to Martin's conjecture.  The
example stems from research on the structure of theories with finitely
many countable models.

Work address: Harvard University
Electronic mail: jessica@math.mit.edu