Zobrazeno 1 - 10
of 147
pro vyhledávání: '"Alexei Myasnikov"'
After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry
Autor:
Alexei Myasnikov, Armin Weiß
Publikováno v:
International Journal of Algebra and Computation. 32:895-928
Recently, Macdonald et al. showed that many algorithmic problems for finitely generated nilpotent groups including computation of normal forms, the subgroup membership problem, the conjugacy problem, and computation of subgroup presentations can be d
Publikováno v:
International Journal of Algebra and Computation. 31:1663-1690
In [A.-P. Grecianu, A. Kvaschuk, A. G. Myasnikov and D. Serbin, Groups acting on hyperbolic [Formula: see text]-metric spaces, Int. J. Algebra Comput. 25(6) (2015) 977–1042], the authors initiated a systematic study of hyperbolic [Formula: see text
Publikováno v:
Journal of Mathematical Sciences. 257:797-813
This paper belongs to our series of works on algebraic geometry over arbitrary algebraic structures. In this one, there will be investigated seven equivalences (namely: geometric, universal geometric, quasi-equational, universal, elementary, and comb
Autor:
Mahmood Sohrabi, Alexei Myasnikov
Publikováno v:
Journal of Algebra. 582:206-231
Let O be the ring of integers of a number field, and let n ≥ 3 . This paper studies bi-interpretability of the ring of integers Z with the special linear group SL n ( O ) , the general linear group GL n ( O ) and the subgroup T n ( O ) of GL n ( O
Publikováno v:
Mathematics of Computation. 89:2507-2519
Publikováno v:
Journal of Algebra. 545:300-323
We modify the notion of a Fraisse class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraisse limits. Furthermore, we rediscover Lyn
Publikováno v:
Groups Complexity Cryptology. 11:83-101
We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $\Gamma$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram enco
Autor:
Alexei Myasnikov, Olga Kharlampovich
Publikováno v:
Groups and Model Theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57f24164b2fcc96bfe9a622edcdf0996
https://doi.org/10.1515/9783110719710-003
https://doi.org/10.1515/9783110719710-003