Fred Drueck : Independence-like Notions in AECs (Abstract Elementary Classes):

Posted by , part of the Louise Hay Logic Seminar.

At

March 4, 2010, 3 p.m.

In

SEO 612

Abstract

In an AEC there is, in general, no natural generalization of the notion of "forking" since there is not usually any syntactic structure to work with. However there is a notion of "splitting" which satisfies some of the proprieties of forking and, at least in some contexts, can be used to prove structure theorems about AECs. One case in which splitting behaves very nicely is the case of atomic models (models realizing only isolated types) of a first order omega-stable theory.