LOGIC SEMINAR<br>
Wednesday November 26, 4:00 412 SEO<br>
Speaker: Marko Djordjevic (UIC)<br>
Title:Large finite structures with few k-variable k-types<br>

Abstract:
I will review a paper by M. Grohe with the title given above.
The main result is that for k>2 there is no recursive upper bound of the
smallest finite model of a k-variable theory in terms of its k-size. The
k-size of a k-variable theory is the number of k-variable k-types realized
in its models.