Plus ultra
Résumé
We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, namely the {\em tame} ones, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple ultraimaginaries: If $e$ is an ultraimaginary definable over a tuple $a$ with $SU(a)<\omega^{\alpha+1}$, then $e$ is eliminable up to rank $<\omega^\alpha$. Finally, we prove some uniform versions of the weak canonical base property.
Origine : Fichiers produits par l'(les) auteur(s)