Louise Hay Logic Seminar
Fred Drueck
UIC
Independence-like Notions in AECs (Abstract Elementary Classes):
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.
Thursday March 4, 2010 at 3:00 PM in SEO 612