3 papers
math.LO2024
Globally valued fields: foundations
Itaï Ben Yaacov, Pablo Destic, Ehud Hrushovski +1
We present foundations for globally valued fields, a class of enriched fields capturing some aspects of the geometry of global fields, based on the product formula. We show that th…
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…
math.OC2024
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…