Program requirementsExamen
TeacherMirna Dzamonja
Weekly hours 4 h CM
Years Master Logique et Fondements de l'Informatique

Syllabus

The module will explore the ways that logic interact with the theory of games. Some examples where game theory enters set theory are strategic closure and determinacy, for model theory Ehrenfeucht-Fraïssé games, for descriptive complexity the pebble game, for automata theory certain decision arguments. Jouko Väänänen states that there are essentially three kinds of games in logic, and that there are essentially connected, forming a « strategic balance of logic ». We shall explore that balance. Lectures will be based on « Models and games » by Jouko Väänänen, with some additional explorations into descriptive set theory, large cardinals and decidability.