BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/5925/25-September-2014-Cool-Logic-Ana-Lucia-Varga
s-Sandoval
DTSTAMP:20140920T000000
SUMMARY:Cool Logic, Ana Lucia Vargas Sandoval
ATTENDEE;ROLE=Speaker:Ana Lucia Vargas Sandoval
DTSTART:20140925T173000
DTEND:20140925T183000
LOCATION:ILLC Seminar Room (F1.15), Science Park 1
07, Amsterdam
DESCRIPTION:Vaught's Conjecture states that the co
llection of countable models of a first-order comp
lete theory in a countable language is either coun
table, or has the cardinality of the continuum. Th
is talk provides an approach to Vaught's Conjectur
e, its importance in the mathematical logic field
and some of the current developments around it. I
will also discuss the controversy lead by Professo
r Knight from Oxford University when he claimed ha
d a “counterexample” for Vaught's Conjecture in 20
02. For more information, contact coollogic.uva a
t gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n Vaught's
Conjecture states that the collection of countabl
e models of a first-order complete theory in a cou
ntable language is either countable, or has the ca
rdinality of the continuum. This talk provides an
approach to Vaught's Conjecture, its importance in
the mathematical logic field and some of the curr
ent developments around it. I will also discuss th
e controversy lead by Professor Knight from Oxford
University when he claimed had a “counterex
ample” for Vaught's Conjecture in 2002.

\
n \n For more information, contact coollogic.uva at gmail.com

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/5925/25-September-2014-Cool-Logic-Ana-Lucia-Varga
s-Sandoval
END:VEVENT
END:VCALENDAR