17:00
Extremal models in affine logic
Abstract
Affine logic is the fragment of continuous logic in which the connectives are limited to affine functions. I will discuss the basics of this logic, first studied by Bagheri, and present the results of a recent joint work with I. Ben Yaacov and T. Tsankov in which we initiate the study of extreme types and extremal models in affine logic.
In particular, I will discuss an extremal decomposition result for models of simplicial affine theories, which generalizes the ergodic decomposition theorem.