39 citations · 108 across the 11 of their papers we have counts for
9 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…
Reconstruction of non--categorical theories
Itaï Ben Yaacov
We generalise the correspondence between -categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (incl…
Model-theoretic independence in the Banach lattices
Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson
We study model-theoretic stability and independence in Banach lattices of the form , where . We characterize non-dividing using concepts from analysi…
Lovely pairs of models: the non first order case
Itaï Ben Yaacov
We prove that for every simple theory (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely p…
On supersimplicity and lovely pairs of cats
Itaï Ben Yaacov
We prove that the definition of supersimplicity in metric structures from \cite{pezz:Morley} is equivalent to an \textit{a priori} stronger variant. This stronger variant is then u…