BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Defenses/newsitem/4059/2
0-September-2011-PhD-defense-Lauri-Keskinen
DTSTAMP:20110831T000000
SUMMARY:PhD defense, Lauri Keskinen
DTSTART:20110920T120000
DTEND: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/Events/Defenses/newsitem/4059/2
0-September-2011-PhD-defense-Lauri-Keskinen
END:VEVENT
END:VCALENDAR