A note on nonresidually solvable hyperlinear one-relator groups

Abstract

We prove that various nonresidually finite, nonresidually solvable groups of the form $\langle a,b|r^{r^w}=r^2\rangle$ are sofic.