On supersimplicity and lovely pairs of cats
Logic
2009-02-05 v1
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.
Cite
@article{arxiv.0902.0118,
title = {On supersimplicity and lovely pairs of cats},
author = {Itaï Ben Yaacov},
journal= {arXiv preprint arXiv:0902.0118},
year = {2009}
}