Abstract
We prove that the definition of supersimplicity in metric structures from [7] is equivalent to an a priori stronger variant. This stronger variant is then used to prove that if T is a supersimple Hausdorff cat then so is its theory of lovely pairs.
Citation
Itay Ben-Yaacov. "On supersimplicity and lovely pairs of cats." J. Symbolic Logic 71 (3) 763 - 776, September 2006. https://doi.org/10.2178/jsl/1154698575
Information