Sol Geometry Groups are not Asynchronously Automatic
Noel Brady · Proceedings of the London Mathematical Society · 2001
Lattices in the 3-dimensional Lie group Sol are shown to be not asynchronously automatic. The proof consists of a combination of geometry and logical complexity arguments. 2000 Mathematics Subject Classification: 20F10, 20F16.