Decidability of equations and first-order theory in Seifert 3-manifold groups

Robert D. Gray, Alex Levine

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2)…