Louise Hay Logic Seminar
Finite Model Theory
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.
Thursday September 7, 2017 at 1:00 PM in SEO 427