Skip to main content

Caroline Terry : Basics of First Order Logic and Model Theory

Posted by Gabriel Conant , part of the Graduate Student Colloquium.

At
April 15, 2013, 4:15 p.m.
In
SEO 636
Abstract
We introduce basic notions from first order logic including formulas, theories, and models. We then discuss through examples some model theoretic notions including type spaces and indiscernible sequences.