Wednesday November 26, 4:00 412 SEO
Speaker: Marko Djordjevic (UIC)
Title:Large finite structures with few k-variable k-types
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.