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