Configurations and Products of Classes

Abstract: In this talk, I will discuss the notion of a "configuration" where the index is a class of structures and the target is an arbitrary theory. This gives us a method of classifying theories based on their ability to encode positive combinatorial configurations, similar to the non-collapse of generalized indiscernibles. We will examine desirable properties of the index class, such as indivisibility, and how these properties are closed under different product operations.

Some of this work is joint with M. Parnes and L. Scow.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic