Steven Lazzaro, Department of Pure Mathematics, University of Waterloo
“A Characterization of Stable Theories”
A brief summary of the planned talk is as follows:
”We concluded our last talk by proving that the notions of heirs, coheirs, and definable extensions of types over a model of a strongly minimal theory coincide, and mentioning that the same is true of all stable theories. In this talk, we give a characterization of stable theories, analogous to a previously discussed characterization of simple theories, in terms of whether their formulae do or do not satisfy certain properties. From this characterization, it is possible to prove, earlier than anticipated, that stable theories are also simple, using the notion of -rank. We will prove this result in a later talk using a different approach, but we will discuss the -rank approach briefly, time permitting.”
MC 5417