TY  - RPRT
TI  - Extremal models and direct integrals in affine logic
AU  - Itaï Ben Yaacov
AU  - Tomás Ibarlucía
AU  - Todor Tsankov
PY  - 2024
UR  - https://arxiv.org/abs/2407.13344
ID  - 2407.13344
ER  -