On supersimplicity and lovely pairs of cats

Itaï Ben Yaacov (1)

1 UW-Madison Math Dept

We prove that the definition of supersimplicity in metric structures from [Ben Yaacov, Uncountable dense categoricity in cats] is equivalent to an \textit{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.

Mots clés: beautiful pairs; lovely pairs; supersimplicity; superstability; Hausdorff cats; metric structures

Domaines: Logique [math.LO]

Itaï Ben Yaacov. On supersimplicity and lovely pairs of cats. The Journal of Symbolic Logic, 2006, 71 (3), pp.763-776. ⟨hal-00357705⟩