| Résume | We analyze C*-algebras, particularly approximately finite ones, in the context of the infinitary logic L_{\omega_1,\omega}. We show that, level by level, the L_{\omega_1,\omega} theory of a separable AF algebra can be covered from that of its K_0 group, a classifying group in this setting. We then use this to build a very concrete family of separable simple unital AF-algebras of arbitrarily high Scott rank. All preliminary notions will be discussed. This is joint work with De Bondt, Vaccaro, and Velickovic. |
