Skip to main content

Hunter Chase : Finite Model Theory

Posted by Hunter Chase , part of the Louise Hay Logic Seminar.

At
Sept. 7, 2017, 1 p.m.
In
SEO 427
Abstract
Most model-theoretic techniques are geared toward infinite structures. We explore some of the challenges, techniques, and questions that arise when dealing with finite structures instead. No background in model theory is assumed.