THE FIRST ORDER THEORY OF BRANCH GROUPS
It is shown that for many branch groups $G$ the action on the ambient tree can be interpreted in $G$ in the sense of first order model theory.
Journal of the Australian Mathematical Society