1 paper
Ben De Bondt, Andrea Vaccaro, Boban Velickovic +1
We analyze C∗-algebras, particularly AF-algebras, and their K0-groups in the context of the infinitary logic Lω1ω. Given two separable unital AF-…