Tiling Problems on Baumslag-Solitar groups.

Nathalie Aubrun
(LIP, ENS de Lyon, CNRS, INRIA, UCBL, Université de Lyon)
Jarkko Kari
(Department of Mathematics and Statistics, University of Turku)

We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.

In Turlough Neary and Matthew Cook: Proceedings Machines, Computations and Universality 2013 (MCU 2013), Zürich, Switzerland, 9/09/2013 - 11/09/2013, Electronic Proceedings in Theoretical Computer Science 128, pp. 35–46.
Published: 4th September 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.128.12 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org