Will Boney : Forking in Short and Tame AECs

Posted by Joseph Zielinski , part of the Louise Hay Logic Seminar.

At

Oct. 24, 2013, 4 p.m.

In

SEO 427

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.