Soficity of free extensions of effective subshifts

Sebastián Barbieri, Mathieu Sablik, Ville Salo

Let $G$ be a group and $H⩽G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\tilde{X}$ whose configurations are those for which the…