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 …
The Diophantine problem in Chevalley groups
In this paper we study the Diophantine problem in Chevalley groups G π (Φ, R), where Φ is
a reduced irreducible root system of rank> 1, R is an arbitrary commutative ring with 1. We …
a reduced irreducible root system of rank> 1, R is an arbitrary commutative ring with 1. We …
The Diophantine problem in the classical matrix groups
AG Myasnikov, M Sohrabi - Izvestiya: Mathematics, 2021 - iopscience.iop.org
The Diophantine problem in the classical matrix groups - IOPscience This site uses cookies.
By continuing to use this site you agree to our use of cookies. To find out more, see our …
By continuing to use this site you agree to our use of cookies. To find out more, see our …
Metabelian groups: Full-rank presentations, randomness and Diophantine problems
A Garreta, L Legarreta, A Miasnikov… - Journal of Group …, 2021 - degruyter.com
We study metabelian groups 𝐺 given by full rank finite presentations⟨ A∣ R⟩ M in the
variety ℳ of metabelian groups. We prove that 𝐺 is a product of a free metabelian subgroup …
variety ℳ of metabelian groups. We prove that 𝐺 is a product of a free metabelian subgroup …
Диофантовы проблемы в классических матричных группах
АГ Мясников, М Сохраби - Известия Российской академии наук …, 2021 - mathnet.ru
В этой работе мы исследуем диофантовы проблемы в классических матричных группах
GLn (R), SLn (R), Tn (R), UTn (R), n⩾ 3, над ассоциативным кольцом с единицей R. Мы …
GLn (R), SLn (R), Tn (R), UTn (R), n⩾ 3, над ассоциативным кольцом с единицей R. Мы …
[图书][B] Diophantine Problems in Groups and Rings
D Ovchinnikov - 2020 - search.proquest.com
Abstract Famous Hilbert's Tenth problem asks whether there is an algorithm to solve
equations over integers. Negative answer to it (Matiyasevich-Robinson-Davis-Putnam …
equations over integers. Negative answer to it (Matiyasevich-Robinson-Davis-Putnam …
Известия Российской академии наук. Серия математическая
АЮ Веретенников, МА Веретенникова - Izv. Math, 2022 - mathnet.ru
АЮВеретенников, МАВеретенникова, “Об улучшенных оценках и условиях сходимости
для цепей Маркова”, Изв. РАН. Сер. матем., 86:1 (2022), 98–133; Izv. Math., 86:1 (2022) …
для цепей Маркова”, Изв. РАН. Сер. матем., 86:1 (2022), 98–133; Izv. Math., 86:1 (2022) …