| Type de publication : |
 |
Preprint, Working Paper, Document sans référence, etc. |
|
| Domaine : |
|
Mathématiques/Logique
|
|
| Titre : |
|
Plus ultra |
|
| Auteur(s) : |
|
Frank Olaf Wagner ( ,  ) 1 |
|
| Laboratoire : |
|
| 1 : |
Institut Camille Jordan (ICJ) |
|
|
CNRS : UMR5208 – Université Claude Bernard - Lyon I – Ecole Centrale de Lyon – Institut National des Sciences Appliquées (INSA) - Lyon |
|
|
Bât. Jean Braconnier n° 101 43 Bd du 11 novembre 1918 69622 VILLEURBANNE CEDEX |
|
|
France |
|
|
| Équipe de recherche : |
|
AGL |
| 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$. Finally, we show some uniform versions of the weak canonical base property. |
|
Langue du texte
intégral : |
|
Anglais |
|
Date de production,
écriture : |
|
20/01/2012 |
|
|
| Mots Clés : |
|
stability theory – simplicity theory – ultraimaginary – elimination – weak canonical base property |
|
| Classification : |
|
MSC 03C45 |
|
|
| Projet ANR : |
|
| Référence du projet |
ANR-09-BLAN-0047 Modig |
|
|
|
Récupérer au format
