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/2011/newsitem/4059/20-
 September-2011-PhD-defense-Lauri-Keskinen
DTSTAMP:20110831T000000
SUMMARY:PhD defense, Lauri Keskinen
DTSTART;TZID=Europe/Amsterdam:20110920T120000
DTEND;TZID=Europe/Amsterdam:20110920T000000
LOCATION:Agnietenkapel, Oudezijds Voorburgwal 231,
  Amsterdam
ATTENDEE;ROLE=Supervisor:Jouko Väänänen
ATTENDEE;ROLE=Promotor:Jouko Väänänen
DESCRIPTION:Given an infinite cardinal kappa one c
 an ask what kind of logic L is needed to character
 ize all models of cardinality kappa (in a finite v
 ocabulary) by their L-theories. The logics studied
  in the thesis are higher order logics, infinitary
  higher order logics and logics with generalized q
 uantifiers. The expressive power of higher order l
 anguages depends a lot on the model of set theory,
  so forcing is used in the thesis a lot.
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Given an
  infinite cardinal kappa one can ask what kind of 
 logic L is needed to characterize all models of ca
 rdinality kappa (in a finite vocabulary) by their 
 L-theories. The logics studied in the thesis are h
 igher order logics, infinitary higher order logics
  and logics with generalized quantifiers. The expr
 essive power of higher order languages depends a l
 ot on the model of set theory, so forcing is used 
 in the thesis a lot. </p>\n    
URL:/NewsandEvents/Archives/2011/newsitem/4059/20-
 September-2011-PhD-defense-Lauri-Keskinen
END:VEVENT
END:VCALENDAR