Plus ultra
Résumé
We develop some basic simplicity-theoretic facts for quasi-finitary ultraimaginaries, i.e.\ classes of finite tuples modulo $\emptyset$-invariant equivalence relations, in a supersimple theory. We also show that they are geometrically eliminable in a weak sense: If $e$ is an ultraimaginary definable over a tupe $a$ with $SU(a)<\omega^{\alpha+1}$, then $e$ is eliminable up to rank $<\omega^alpha$.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)