Model Theory Learning Seminar

Thursday, March 17, 2016 1:00 pm - 1:00 pm EDT (GMT -04:00)

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