Louise Hay Logic Seminar
Tori Noquez
UIC
Pseudo-finite model theory
Abstract: We will continue last week's discussion of Vaananen's paper Pseudo-finite model theory.
We will discuss the finite versions of results from model theory, such as compactness and Lowenheim-Skolem, which follow from the infinite versions. We will also see why the interpolation theorems do not hold in this framework, and a version of Lindstrom's Theorem for extensions of first order logic on pseudo-finite structures.
Thursday February 23, 2012 at 3:00 PM in SEO 1227