Tori Noquez : Pseudo-finite model theory

Posted by , part of the Louise Hay Logic Seminar.

At

Feb. 23, 2012, 3 p.m.

In

SEO 1227

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.