LMS Invited Lecturer 2014
Professor Jouko Väänänen
(University of Helsinki, Finland and University of Amsterdam, Netherlands)
Games, trees and models.
Foundations of mathematics and second order logic
The mathematical theory of dependence and independence
14-17 April 2014
University of East Anglia
Games, trees and models: This is a new approach to mathematical properties of uncountable structures. We relate it to transfinite games, mathematics of trees, and a branch of model theory called stability theory.
Foundations of mathematics and second order logic: The role of second order logic is a source of a lot of debate in the area of foundations and philosophy of mathematics. In this topic we give a mathematical approach to second order logic, using methods from the first topic, and discuss a foundational and philosophical interpretation of the results.
The mathematical theory of dependence and independence, a topic introduced by Väänänen in his 2007 monograph “Dependence logic”. The general methodology introduced in the previous two topics is used to analyse dependence and independence concepts throughout mathematics with applications to computer science, and a number of other fields of science, where dependence and independence concepts have a crucial role.
There will be
supplementary lectures by:
University accommodation will be available. Limited financial support is available for students, with preference given to UK full time research students. Please contact the organisers for further details: M.Dzamonja@uea.ac.uk
Deadline for funding: 15/02/2014
For details of the lectures please see http://www.uea.ac.uk/~h020/Joukoprogram.pdf