2 problems

Countability conjecture. There are $\aleph_0$ finitely homogeneous structures up to trace equivalence.

Let $F_r$ be a free group, and call two pairs of words $(u,v)$ and $(u',v')$ $\operatorname{SL}_n$-trace equivalent when the corresponding words have equal traces under every repre…