Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.