MidWest Model Theory Day
Thursday, April 7th, 2011 at UIC
Speakers: Jerome Keisler, Moshe Kamensky, John Baldwin
All talks are about an hour long, in SEO 636.
There will also be coffee&cookies in 636.
- 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
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
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.
Title: Calculating Hanf Numbers
Title: Differential tensor categories
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.