Graduate Student Colloquium
Gabe Conant
UIC
Model Theory and Forking Independence
Abstract: After presenting the basic model theoretic notions of type spaces and saturation, we will define forking and dividing. These are geometric/combinatorial measurements of the complexity of a theory, which are designed to detect a notion of independence. We will interpret this independence in several classical examples such as algebraically closed fields and the random graph, as well as some newer examples. Finally, we discuss forking and dividing in the context of dividing lines in the classification of unstable theories.
Monday April 22, 2013 at 4:15 PM in SEO 636