Louise Hay Logic Seminar
Will Boney
Carnegie Mellon University
Forking in Short and Tame AECs
Abstract: We present a nonforking relation for type short and tame Abstract Elementary Classes that generalizes the first order notion of coheir (finite satisfiability) in stable, first order theories. We identify sufficient conditions for this nonforking to be well-behaved (with a set-theoretic aside) and give applications to the uniqueness of limit models and superstability.
Thursday October 24, 2013 at 4:00 PM in SEO 427