5 papers · 1 filter
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…
Globally valued fields: foundations
Itaï Ben Yaacov, Pablo Destic, Ehud Hrushovski +1
We present foundations of globally valued fields, i.e., of a class of fields with an extra structure, capturing some aspects of the geometry of global fields, based on the product…