News and Events: MoL and PhD defenses

Please note that this newsitem has been archived, and may contain outdated information or links.

20 September 2011, PhD defense, Lauri Keskinen

Candidate: Lauri Keskinen
Title: Characterizing All Models in Infinite Cardinalities
Date: Tuesday 20 September 2011
Time: 12:00
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Supervisor: Jouko Väänänen
Promotor: Jouko Väänänen

Given an infinite cardinal kappa one can ask what kind of logic L is needed to characterize all models of cardinality kappa (in a finite vocabulary) by their L-theories. The logics studied in the thesis are higher order logics, infinitary higher order logics and logics with generalized quantifiers. The expressive power of higher order languages depends a lot on the model of set theory, so forcing is used in the thesis a lot.

Please note that this newsitem has been archived, and may contain outdated information or links.