TY - JOUR

T1 - Games on AF-Algebras

AU - De Bondt, Ben

AU - Vaccaro, Andrea

AU - Veličković, Boban

AU - Vignati, Alessandro

N1 - Publisher Copyright:
© 2022 The Author(s). Published by Oxford University Press. All rights reserved.

PY - 2023/12/1

Y1 - 2023/12/1

N2 - We analyze Cs-algebras, particularly AF-algebras, and their K0-groups in the context of the infinitary logic Lw1w. Given two separable unital AF-algebras A and B, and considering their K0-groups as ordered unital groups, we prove that K0(A) =w-α K0(B) implies A =α B, where M =β N means that M and N agree on all sentences of quantifier rank at most β. This implication is proved using techniques from Elliott s classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fraïssé game to the metric setting. We use moreover this result to build a family Aα=α1 of pairwise non-isomorphic separable simple unital AF-algebras which satisfy Aα =α Aβ for every a < β. In particular, we obtain a set of separable simple unital AF-algebras of arbitrarily high Scott rank. Next, we give a partial converse to the aforementioned implication, showing that A ⊗ K =w+2•α+2 B ' K implies K0(A) =a K0(B), for every unital C∗-algebras A and B.

AB - We analyze Cs-algebras, particularly AF-algebras, and their K0-groups in the context of the infinitary logic Lw1w. Given two separable unital AF-algebras A and B, and considering their K0-groups as ordered unital groups, we prove that K0(A) =w-α K0(B) implies A =α B, where M =β N means that M and N agree on all sentences of quantifier rank at most β. This implication is proved using techniques from Elliott s classification of separable AF-algebras, together with an adaptation of the Ehrenfeucht-Fraïssé game to the metric setting. We use moreover this result to build a family Aα=α1 of pairwise non-isomorphic separable simple unital AF-algebras which satisfy Aα =α Aβ for every a < β. In particular, we obtain a set of separable simple unital AF-algebras of arbitrarily high Scott rank. Next, we give a partial converse to the aforementioned implication, showing that A ⊗ K =w+2•α+2 B ' K implies K0(A) =a K0(B), for every unital C∗-algebras A and B.

UR - http://www.scopus.com/inward/record.url?scp=85179806277&partnerID=8YFLogxK

U2 - 10.1093/imrn/rnac313

DO - 10.1093/imrn/rnac313

M3 - Article

AN - SCOPUS:85179806277

SN - 1073-7928

VL - 2023

SP - 19996

EP - 20038

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

IS - 23

ER -