Small undecidable groups and unrecognizable 4-manifolds

Marc Kegel, Shana Yunsheng Li, Qiuyu Ren

We construct a $3$-generator $9$-relator group with unsolvable word problem. We use the group to construct two fixed-size Adian--Rabin families of group presentations, one with $4$…