BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5925/25-
September-2014-Cool-Logic-Ana-Lucia-Vargas-Sandova
l
DTSTAMP:20140920T000000
SUMMARY:Cool Logic, Ana Lucia Vargas Sandoval
ATTENDEE;ROLE=Speaker:Ana Lucia Vargas Sandoval
DTSTART;TZID=Europe/Amsterdam:20140925T173000
DTEND;TZID=Europe/Amsterdam: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/Archives/2014/newsitem/5925/25-
September-2014-Cool-Logic-Ana-Lucia-Vargas-Sandova
l
END:VEVENT
END:VCALENDAR