Hyperimaginaries in simple $CM$-trivial theories
Résumé
A simple $CM$-trivial theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)