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.
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.