Notes about decidability of exponential equations
Group Theory
2021-05-17 v1
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.
Keywords
Cite
@article{arxiv.2105.06842,
title = {Notes about decidability of exponential equations},
author = {Oleg Bogopolski and Aleksander Ivanov},
journal= {arXiv preprint arXiv:2105.06842},
year = {2021}
}
Comments
16 pages