Ernest Schimmerling

Mid-Atlantic Mathematical Logic Seminar

Steven Buechler (Notre Dame)

Fine structure in theories of finite rank

An element of a theory of finite rank is called irreducible if it is not interalgebaric with a set of elements of smaller rank. We show how to use irreducible elements to study how structures can be built from the basic building blocks of minimal sets.