Row-constrained effective sets of colourings in the $2$-fold horocyclic tessellations of ${\mathbb{H}}^2$ are sofic

Abstract

In this article we prove that, restricted to the row-constrained case, effective sets of colourings in the $2$-fold horocyclic tessellations of the hyperbolic plane ${\mathbb{H}}^2$ are sofic.