Algebraic geometry over algebraic structures. II. Foundations
EY Daniyarova, AG Myasnikov… - Journal of Mathematical …, 2012 - Springer
ALGEBRAIC GEOMETRY OVER ALGEBRAIC STRUCTURES. II. FOUNDATIONS E. Yu.
Daniyarova, AG Myasnikov, and VN Remeslennikov UDC 51 Page 1 Journal of Mathematical …
Daniyarova, AG Myasnikov, and VN Remeslennikov UDC 51 Page 1 Journal of Mathematical …
Algebraic geometry over algebraic structures. IV. Equational domains and codomains
EY Daniyarova, AG Myasnikov, VN Remeslennikov - Algebra and Logic, 2011 - Springer
We introduce and study equational domains and equational codomains. Informally, an
equational domain is an algebra every finite union of algebraic sets over which is an …
equational domain is an algebra every finite union of algebraic sets over which is an …
Word equations over graph products
V Diekert, M Lohrey - International Journal of Algebra and …, 2008 - World Scientific
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the
existential theory of word equations is preserved under graph products. Furthermore, it is …
existential theory of word equations is preserved under graph products. Furthermore, it is …
[PDF][PDF] Partially commutative metabelian groups: Centralizers and elementary equivalence
CK Gupta, EI Timoshenko - Algebra and Logic, 2009 - researchgate.net
For partially commutative metabelian groups, annihilators of elements of commutator
subgroups are described; canonical representations of elements are defined; …
subgroups are described; canonical representations of elements are defined; …
Частично коммутативные метабелевы группы: централизаторы и элементарная эквивалентность
ЧК Гупта, ЕИ Тимошенко - Алгебра и логика, 2009 - mathnet.ru
Под графом Γ всюду в дальнейшем будем понимать конечное множество вершин
X={x1,..., xn}, на котором задано бинарное отношение смежности. Если xi и xj смежные …
X={x1,..., xn}, на котором задано бинарное отношение смежности. Если xi и xj смежные …
[图书][B] On systems of equations over free partially commutative groups
M Casals-Ruiz, I Kazachkov - 2011 - ams.org
Using an analogue of Makanin-Razborov diagrams, we give an effective description of the
solution set of systems of equations over a partially commutative group (right-angled Artin …
solution set of systems of equations over a partially commutative group (right-angled Artin …
Алгебраическая геометрия над алгебраическими системами. V. Случай произвольной сигнатуры
ЭЮ Даниярова, АГ Мясников, ВН Ремесленников - Алгебра и логика, 2012 - mathnet.ru
Первые работы по универсальной алгебраической геометрии вышли более десяти лет
назад—это были статьи [1, 2] и независимые работы [3, 4] по алгебраической …
назад—это были статьи [1, 2] и независимые работы [3, 4] по алгебраической …
Limit groups over partially commutative groups and group actions on real cubings
M Casals-Ruiz, I Kazachkov - Geometry & Topology, 2015 - msp.org
The study of limit groups, that is, finitely generated fully residually free groups, was a key first
step towards the understanding of the elementary theory of a free group. In this paper we …
step towards the understanding of the elementary theory of a free group. In this paper we …
Алгебраическая геометрия над алгебраическими системами. IV. Эквациональные области и ко-области
ЭЮ Даниярова, АГ Мясников, ВН Ремесленников - Алгебра и логика, 2010 - mathnet.ru
В серии статей авторов по универсальной алгебраической геометрии проводится
работа по созданию методического аппарата для изучения алгебраической геометрии …
работа по созданию методического аппарата для изучения алгебраической геометрии …
Decidability of the elementary theory of a torsion-free hyperbolic group
O Kharlampovich, A Myasnikov - arXiv preprint arXiv:1303.0760, 2013 - arxiv.org
arXiv:1303.0760v8 [math.GR] 21 Apr 2016 Page 1 arXiv:1303.0760v8 [math.GR] 21 Apr 2016
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group Olga Kharlampovich …
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group Olga Kharlampovich …