Symétrons et K-boucles omega-stables

Abstract

We develop the model theory of omega-stable K-loops and 'symétrons'. Continuing Poizat's seminal work, we notably establish an appropriate version of the indecomposability theorem and we adapt Lascar's analysis to this context. -- Nous développons la théorie des modèles des K-boucles et des symétrons omega-stables. En poursuivant le travail séminal de Poizat, nous établissons notamment une version appropriée du théorème des indécomposables et nous adaptons l'analyse de Lascar à ce contexte.

18 pages, in French