Submit Coordinated Project

1st Semester 2013/14: Many-Sorted Logic

Instructors
Jouko Väänänen
If you are interested in this project, please contact the instructor by email.
Description
In many-sorted logic we have several "sorts" of variables, just as in vector spaces we have scalars and vectors, or as in geometry we have points and lines, or as in second-order logic we have individuals and subsets. Although many-sorted logic can be translated into one-sorted logic, it is often more natural to take the many-sorted approach, and sometimes the many-sorted version of a fundamental theorem is more powerful than the single-sorted version. This is the case, for example, with the Craig Interpolation Theorem which we prove in the many-sorted version. We will discuss various applications of many-sorted logic, among others applications of the many-sorted interpolation theorem. Time permitting, I will talk about a "symbiosis" between set theory and model theory, based on many-sorted logic.
Organisation
There will be five lectures during five days (on 27-31 January 2014). You can pass the course by following the lectures and completing the homework. The course material can be used as a basis for a project.
Credit: Students who successfully complete the course have the option of either (1) getting awarded 2 EC for the course or (2) extending the course to a project for a total of 6 EC. Any such project must be completed by the end of Februray 2014.
References
Course website: Follow this link.