Ilijas Farah, Department of Mathematics and Statistics, York University, 4700 Keele Street, North York, Ontario, Canada M3J 1P3, and Matematicki Institut, Kneza Mihaila 34, Belgrade, Serbia; e-mail: ifarah@mathstat.yorku.ca URL: http://www.math.yorku.ca/∼ifarah

We present unified proofs of several properties of the corona of $\sigma\$-unital C*-algebras such as AA-CRISP, SAW*, being sub-$\sigma\$-Stonean in the sense of Kirchberg, and the conclusion of Kasparov’s Technical Theorem. Although our results were obtained by considering C*-algebras as models of the logic for metric structures, the reader is not required to have any knowledge of model theory of metric structures (or model theory, or logic in general). The proofs involve analysis of the extent of model-theoretic saturation of corona algebras.

Nous présentons des démonstrations unifiées de plusieurs propriétés de la corona des C*-algèbres $\sigma\$-unitales tel qu’AA-CRISP, SAW*, étant sous-$\sigma\$-Stonean au sens de Kirchberg, et la conclusion du théorème technique de Kasparov. Bien que nos résultats aient été obtenus en considérant les C*-algèbres comme modèles de la logique pour les structures métriques, le lecteur n’est pas requis d’avoir aucune connaissance de la théorie des modèles des structures métriques (ou la théorie des modèles, ou de la logique en général). Les démonstrations impliquent l’analyse de l’ampleur de la saturation modèle-théorétique des algèbres de corona.