Institute for Logic, Language and Computation

19 May 2011, Computational Social Choice Seminar, Jouko Väänänen

Speaker: Jouko Väänänen
Title: The Model Existence Game and its Role in Logic
Date: Thursday 19 May 2011
Time: 15:00
Location: Room D1.116, Science Park 904, Amsterdam


I describe a game that I have called the Model Existence Game. It is one of the three games that dominate mathematical logic, a topic to which my book "Models and Games", which has just appeared from Cambridge University Press, is devoted. In my talk I give typical applications of the game, showing that the proofs of such basic results as Compactness, Completeness, and Interpolation Theorems can be seen as descriptions of winning strategies in the Model Existence Game.

For more information, see or contact Ulle Endriss ().

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X