Midlands Logic Seminar 2012: Session 5, Thursday 9th February

3.30pm Descriptive Complexity Theory (Richard Kaye, Birmingham)

This will be a "connecting" session relating descriptive complexity that we have started to look at with some of the complexity theory and formula classes considered earlier, and also looking forward to the use of descriptive complexity, logic and interpretability, with models of arithmetic.

Of course material covered earlier will be referred back to, but full notes are available for people wishing to catch up. Please contact an organiser to get PDF files for notes.

4.45pm "From Semantics to Syntax: Searching for a theory of truth" Graham Leigh (Oxford)

Abstract: To what extent a theory can be said to capture or describe its own semantics? We consider adding truth predicates to first-order theories and explore the possible interpretations available and how they correspond to our informal understanding of truth and satisfaction.


Midlands Logic Seminar 2012