Christine Eagles : A uniqueness condition for composition analyses

Posted by James Freitag , part of the Logic Seminar.

At

March 18, 2025, 3:30 p.m.

In

636 SEO

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.