MidWest Model Theory Day

Thursday, April 7th, 2011 at UIC

Speakers: Jerome Keisler, Moshe Kamensky, John Baldwin

Schedule:

11am: Meet on the first floor of SEO if you're already here. We will leave to lunch at 11:20.
11:30am: Lunch at Joy Yee's
1pm: One talk
2:30: Two talk
4pm: Three talk
5:30pm: Dinner at Rodity's

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!

Abstracts:

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
Abstract

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.