6 papers
Everything I always wanted to know about resultants and Chow forms (but was too lazy to ask)
Itaï Ben Yaacov
This note develops some fundamental properties of resultants and related notions. It represents my own personal exploration of this domain, which I found more instructive than seek…
Locally -categorical theories and locally Roelcke precompact groups
Itaï Ben Yaacov, Todor Tsankov
It is well-known that Polish Roelcke precompact groups are the groups that can be represented as automorphism groups of -categorical structures in continuous logic and th…
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…
Examples and Nonexamples of Distal Metric Structures
Aaron Anderson, Itaï Ben Yaacov
This article provides examples of distal metric structures. One source of examples are metric valued fields. By analyzing indiscernible sequences, we show that real closed metric v…
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…
Output feedback stabilisation of bilinear systems via control templates
Ludovic Sacchelli, Lucas Brivadis, Ulysse Serres +1
We establish a separation principle for the output feedback stabilisation of state-affine systems that are observable at the stabilization target. Relying on control templates (rec…