MidWest Model Theory Day

Thursday, April 7th, 2011 at UIC

Speakers: Jerome Keisler, Moshe Kamensky, John Baldwin

Schedule: All talks are about an hour long, in SEO 636. There will also be coffee&cookies in 636.
It is probably easiest to park in the university parking lot on Morgan St. between Roosevelt and Taylor.
Let me know (@math.wisc.edu">andrewsmath.wisc.edu) if you are planning to come to lunch and/or dinner so we can make approximately correct reservations!


H. Jerome Keisler
Title: Randomizations of small models
Abstract: The randomization of a first order theory T is a theory T^R in continuous logic that is obtained by replacing elements by ``random elements''. Recent work by Itai Ben Yaacov and the author show that many properties of first order theories imply analogous properties for their randomizations. This work is a follow-up that looks at what happens to small model properties (such as having a prime model) when one passes to the randomization.

John Baldwin
Title: Calculating Hanf Numbers

Moshe Kamensky
Title: Differential tensor categories
Abstract: I will explain the definition of differential tensor categories, which are analogues of usual tensor categories that correspond to differential linear groups. Model theoretically, they provide an explicit description of a large class of internal covers of the theory of differential closed fields. My aim will be to introduce the definition, discuss some examples, and indicate how everything works precisely as in the algebraic case.
Other MWMTDs:
April 5th, 2016
October 28th, 2014
October 22nd, 2013
April 18th, 2013
October 23rd, 2012
April 26th, 2012
October 11th, 2011
April 7th, 2011
October 26th, 2010