Graduate Student Colloquium
Caroline Terry
UIC
Basics of First Order Logic and Model Theory
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.
Monday April 15, 2013 at 4:15 PM in SEO 636