I Goldbring, M Harrison-Trainor - arXiv preprint arXiv:2403.16181, 2024 - arxiv.org
We prove that if $ G $ and $ H $ are $\alpha $-back-and-forth equivalent groups (in the
sense of computable structure theory) for some ordinal $\alpha\geq\omega $, then their …