AF-algebras with lattice-ordered \(K_0\): logic and computation
finitely presented \(\mathrm{AF}\ell\)-algebra
scientific article; zbMATH DE number 7601556
scientific article