Rich groups, weak second-order logic, and applications
O Kharlampovich, A Myasnikov… - Groups and Model …, 2021 - degruyter.com
In this chapter we initiate a study of first-order rich groups, ie, groups where the first-order
logic has the same power as the weak second-order logic. Surprisingly, there are quite a few …
logic has the same power as the weak second-order logic. Surprisingly, there are quite a few …
[HTML][HTML] Algorithmic theory of solvable groups
VA Roman'Kov - Прикладная дискретная математика, 2021 - cyberleninka.ru
The purpose of this survey is to give some picture of what is known about algorithmic and
decision problems in the theory of solvable groups. We will provide a number of references …
decision problems in the theory of solvable groups. We will provide a number of references …
On the Diophantine problem in some one-relator groups
CF Nyberg-Brodda - arXiv preprint arXiv:2208.07145, 2022 - arxiv.org
We study the Diophantine problem, ie the decision problem of solving systems of equations,
for some families of one-relator groups, and provide some background for why this problem …
for some families of one-relator groups, and provide some background for why this problem …
Алгоритмическая теория разрешимых групп
VA Roman'kov - Прикладная дискретная математика, 2021 - elibrary.ru
The purpose of this survey is to give some picture of what is known about algorithmic and
decision problems in the theory of solvable groups. We will provide a number of references …
decision problems in the theory of solvable groups. We will provide a number of references …