Steven Lazzaro, Department of Pure Mathematics, University of Waterloo
“Definability of Types in Stable Theories”
”In this talk, we make apparent the strong connection between the stability of a theory and the definability of types in a theory. From this, we will be able to conclude that stable theories are also simple theories. In turn, we will show that in a stable theory, for types over a model, the notions of heirs, coheirs, definable extensions, and non-forking extensions are equivalent, and moreover that there is a unique such extension to any fixed paramater set extending the model.”
MC 5417