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 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.

\n
URL:/NewsandEvents/Archives/2011/newsitem/4059/20-
September-2011-PhD-defense-Lauri-Keskinen
END:VEVENT
END:VCALENDAR