Logic Seminar
Christine Eagles
Waterloo
A uniqueness condition for composition analyses
Abstract: It is well known that in stable theories, we can understand finite dimensional types in terms of minimal types. We will talk about one such method which we call a composition analysis. We explore a uniqueness condition for a set of minimal types we associate to a type through the composition analysis. This is based on current work in progress.
Tuesday March 18, 2025 at 3:30 PM in 636 SEO