On supersimplicity and lovely pairs of cats
arXiv:0902.0118
Abstract
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 used to prove that if is a supersimple Hausdorff cat then so is its theory of lovely pairs.