01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords:
partially commutative groups,
nilpotent groups,
algebraic geometry over groups.
Subject:
Satisfiability of graph formulas over partially commutative nilpotent groups.
Main publications:
A. A. Mishchenko, A. V. Treier, “Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups”, Algebra and Logic, 52:2 (2013), 147–158
A. A. Mishchenko, E. I. Timoshenko, “Universal equivalence of partially commutative nilpotent groups”, Siberian Math. J., 52:5 (2011), 884–891
A. A. Mishchenko, “Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups”, Algebra and Logic, 48:3 (2009), 214–227
A. A. Mishchenko, A. V. Treyer, “Commuting graphs for partially commutative nilpotent $\mathbb Q$-groups of class $2$”, Sib. Èlektron. Mat. Izv., 4 (2007), 460–481
E. Yu. Daniyarova, A. A. Mishchenko, V. N. Remeslennikov, A. V. Treier, “On algebraic-geometric and universal theories of Abelian groups”, J. Math. Sci., 262:5 (2022), 660–690
2019
2.
A. A. Mishchenko, V. N. Remeslennikov, A. V. Treyer, “Canonical and algebraically closed groups in universal
classes of Abelian groups”, Algebra and Logic, 58:3 (2019), 232–243
2018
3.
A. Mishchenko, A. Treier, “Universal input of knapsack problem for groups”, Journal of Physics: Conference Series, Mechanical Science and Technology Update (MSTU-2018), 1050, IOP, 2018, 012054
4.
A. Mishchenko, A. Treier, “On NP-completeness of subset sum problem for Lamplighter group”, Journal of Physics: Conference Series, Mechanical Science and Technology Update (MSTU-2018), 1050, IOP, 2018, 012055
5.
A. A. Mischenko, V. N. Remeslennikov, A. V. Treier, “Odnorodnye abelevy gruppy”, Vestnik Omskogo universiteta, 23:2 (2018), 61–66
2017
6.
A. A. Mishchenko, V. N. Remeslennikov, A. V. Treier, “Universal invariants for classes of Abelian groups”, Algebra and Logic, 56:2 (2017), 116–132
7.
A. Mishchenko, A. Treier, “Knapsack problem for nilpotent groups”, Groups Complexity Cryptology, 9:1 (2017), 87–98
A. A. Mishchenko, V. N. Remeslennikov, A. V. Treier, “Canonical and Existential Groups in Universal Classes of Abelian Groups”, Doklady Mathematics, 93:2 (2016), 175–178
2015
9.
A. A. Mishchenko, V. N. Remeslennikov, A. V. Treier, “Generic Theories for Series of Finite Abelian Groups”, Algebra and Logic, 53:6 (2015), 471–480
2013
10.
A. A. Mishchenko, A. V. Treier, “Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups”, Algebra and Logic, 52:2 (2013), 147–158
2011
11.
A. A. Mishchenko, E. I. Timoshenko, “Universal equivalence of partially commutative nilpotent groups”, Siberian Math. J., 52:5 (2011), 884–891
12.
A. A. Mischenko, A. V. Treier, “O vypolnimosti grafovykh formul na chastichno kommutativnoi dvustupenno nilpotentnoi gruppe.”, Algebra i teoriya modelei 8, sbornik trudov pod red. A.G.Pinusa i dr., izd-vo NGTU, Novosibirsk, 2011, 48–59
2009
13.
A. A. Mishchenko, “Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups”, Algebra and Logic, 48:3 (2009), 214–227
2008
14.
A. A. Mischenko, “Universalnaya ekvivalentnost chastichno kommutativnykh dvustupenno nilpotentnykh $\mathbb Q$-grupp”, Vestnika Omskogo Universiteta spetsialnoe izdanie, 2008, 61–67
2007
15.
A. A. Mishchenko, A. V. Treyer, “Commuting graphs for partially commutative nilpotent $\mathbb Q$-groups of class $2$”, Sib. Èlektron. Mat. Izv., 4 (2007), 460–481
16.
A. A. Mischenko, A. V. Treier, “Struktura tsentralizatorov dlya chastichno kommutativnoi dvustupenno nilpotentnoi $\mathbb Q$-gruppy”, Vestnika Omskogo Universiteta spets. vypusk, 2007, 98–102
2006
17.
A. A. Mischenko, A. V. Treier, “Vypolnimost $E$-formul na chastichno kommutativnykh dvustupenno nilpotechnykh $\mathbb Q$-gruppakh”, Vestnik Omskogo Universiteta, 1 (2006), 15–17