2021-11-03: Dylan Braithwaite (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Dylan Braithwaite (MSP)

An Introduction to Finite Model Theory

Abstract

Model theory in classical logic provides a number of tools useful for classifying structures described by sets of axioms. In computer science we are often interested in cases where these structures are finite, but many results in classical model theory fail to specialise to cases where we require all models to be finite. In this talk I will give an introduction to some of the alternative techniques used for studying expressibility of finite models and discuss some interesting connections with complexity theory.

2021-11-03 15:00:00 UTC
Online