2 papers
math.GR2025
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 -manifold? and (2)…
math.GR2023
Subsets of groups with context-free preimages
Alex Levine
We study subsets of finitely generated groups where the set of all words over a given finite generating set that lie in forms a context-free language. We call these sets re…