Model Theory Learning Seminar

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