Extremal models and direct integrals in affine logic

Itaï Ben Yaacov, Tomás Ibarlucía, Todor Tsankov

Affine logic is a fragment of continuous logic, introduced by Bagheri, in which only affine functions are allowed as connectives. This has the effect of endowing type spaces with t…