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

Abstract

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 http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).