Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25 September 2014, Cool Logic, Ana Lucia Vargas Sandoval

Speaker: Ana Lucia Vargas Sandoval
Title: Has Vaught's Conjecture been solved?
Date: Thursday 25 September 2014
Time: 17:30-18:30
Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

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.

For more information, contact

Please note that this newsitem has been archived, and may contain outdated information or links.