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        <p>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 &ldquo;counterex
 ample&rdquo; for Vaught's Conjecture in 2002.</p>\
 n    \n        <p>For more information, contact <a
  class="email">coollogic.uva <span class="at">at</
 span> gmail.com</a></p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5925/25-
 September-2014-Cool-Logic-Ana-Lucia-Vargas-Sandova
 l
END:VEVENT
END:VCALENDAR