2 papers
math.LO2025
Stability in affine logic
Itaï Ben Yaacov, Tomás Ibarlucía
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of type…
math.LO2024
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…