Notes about decidability of exponential equations

Abstract

We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations with one variable is decidable but the corresponding problem for two variables is undecidable.

16 pages

References in corpus (3)

• Knapsack problems in products of groups
• Knapsack in graph groups, HNN-extensions and amalgamated products
• Exponential equations in acylindrically hyperbolic groups

Cited by in corpus (1)

• Exponential equations in acylindrically hyperbolic groups