ﻻ يوجد ملخص باللغة العربية
We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $sigma$-unital $C^*$-algebras; we extend their results by showing that some coronas of non-$sigma$-unital $C^*$-algebras are countably degree-$1$ saturated. We then relate saturation of the abelian $C^*$-algebra $C(X)$, where $X$ is $0$-dimensional, to topological properties of $X$, particularly the saturation of $CL(X)$.
We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II$_{1}$ factor as Fraisse limits of suitable classes of structures. Moreover by means of Fraisse theory we provide new examples of AF algebras with strong homogeneity properties.
The only C*-algebras that admit elimination of quantifiers in continuous logic are $mathbb{C}, mathbb{C}^2$, $C($Cantor space$)$ and $M_2(mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory
Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $mathbb{C},$ $mathbb{C}^2,$ $M_2(mathbb{C}),$ and the continuous functions on the Cantor set.
For any pair of ordinals $alpha<beta$, $sf CA_alpha$ denotes the class of cylindric algebras of dimension $alpha$, $sf RCA_{alpha}$ denote the class of representable $sf CA_alpha$s and $sf Nr_alpha CA_beta$ ($sf Ra CA_beta)$ denotes the class of $alp
We present a detailed exposition (for a Dynamical System audience) of the content of the paper: R. Exel and A. Lopes, $C^*$ Algebras, approximately proper equivalence relations and Thermodynamic Formalism, {it Erg. Theo. and Dyn. Syst.}, Vol 24, pp 1