A hierarchical strongly aperiodic set of tiles in the hyperbolic plane

We give a new construction of strongly aperiodic set of tiles in H2, exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that the Domino Problem is undecidable in the hyperbolic plane (Margenstern (2008) [16]).