39 citations · 108 across the 11 of their papers we have counts for
1 paper · 2 filters
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…