HAL : hal-00656792, version 2

arXiv : 1201.1114

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v1 (05-01-2012)

v2 (21-01-2012)

v3 (19-09-2012)

Plus ultra

Frank Olaf Wagner 1

(20/01/2012)

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.

1 :	Institut Camille Jordan (ICJ)
	CNRS : UMR5208 – Université Claude Bernard - Lyon I – Ecole Centrale de Lyon – Institut National des Sciences Appliquées (INSA) - Lyon

Équipe de recherche : AGL

Domaine

:

Mathématiques/Logique

Mots Clés : stability theory – simplicity theory – ultraimaginary – elimination – weak canonical base property

hal-00656792, version 2

http://hal.archives-ouvertes.fr/hal-00656792

oai:hal.archives-ouvertes.fr:hal-00656792

Contributeur : Frank Olaf Wagner <>

Soumis le : Vendredi 20 Janvier 2012, 17:47:44

Dernière modification le : Samedi 21 Janvier 2012, 08:58:43