Cool Logic

Ana Lucia Vargas Sandoval (ILLC)

Has Vaught’s Conjecture been solved?

September 25th at 17:30, in ILLC Seminar Room (F1.15)

Vaught's Conjecture states that the collection of countable models of a first-order complete theory in a countable language is either countable, or has the cardinality of the continuum. This talk provides an approach to Vaught’s Conjecture, its importance in the mathematical logic field and some of the current developments around it. I will also discuss the controversy lead by Professor Knight from Oxford University when he claimed had a “counterexample” for Vaught’s Conjecture in 2002.