Notes about decidability of exponential equations

arXiv2105.06842MaRDI QIDQ6367653FDOQ6367653

Publication date: 14 May 2021

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.

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70)

This page was built for publication: Notes about decidability of exponential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367653)