CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Model Theory Seminar
Will Boney
Carnegie Mellon University
Title: Computing the Number of Types of Infinite Length, Part 1.

Abstract: Roughly, the type of an element over a given domain is the best description of the element possible using formulas from the language and parameters from the domain. Counting the largest number of types of finite tuples possible over a domain of fixed size give important information about the theory and characterizes its place in relation to certain dividing lines, such as stability. It is known that it is enough to check stability just for 1-types. We generalize this result to types of infinite tuples of elements by calculating supremum number of types of infinite tuples over a domain of fixed size from the number of 1-types. In particular, for $\kappa \leq \alpha$, we show

Date: Sunday, September 30, 2012
Time: 5:00 pm
Location: Wean Hall 8220
Submitted by:  Grossberg