Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Games on AF-algebras   We analyze $\mathrm{C}^\ast$-algebras, particularly AF-algebras, and their
$K_0$-groups in the context of the infinitary logic $\mathcal{L}_{\omega_1
\omega}$. Given two separable unital AF-algebras $A$ and $B$, and considering
their $K_0$-groups as ordered unital groups, we prove that $K_0(A)
\equiv_{\omega \cdot \alpha} K_0(B)$ implies $A \equiv_\alpha B$, where $M
\equiv_\beta N$ means that $M$ and $N$ agree on all sentences of quantifier
rank at most $\beta$. This implication is proved using techniques from
Elliott's classification of separable AF-algebras, together with an adaptation
of the Ehrenfeucht-Fra\"iss\'e game to the metric setting. We use moreover this
result to build a family $\{ A_\alpha \}_{\alpha < \omega_1}$ of pairwise
non-isomorphic separable simple unital AF-algebras which satisfy $A_\alpha
\equiv_\alpha A_\beta$ for every $\alpha < \beta$. 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 \otimes \mathcal{K} \equiv_{\omega + 2 \cdot \alpha +2} B \otimes
\mathcal{K}$ implies $K_0(A) \equiv_\alpha K_0(B)$, for every unital
$\mathrm{C}^\ast$-algebras $A$ and $B$.

31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat