Mart'yanov Vladimir Ivanovich

Publications in Math-Net.Ru

1. Combinatorial problems of high complexity and analyse of sketch images
   
   Bulletin of Irkutsk State University. Series Mathematics, 6:4 (2013),  31–47
2. About the element-subgroup theory of Abelian groups
   
   Bulletin of Irkutsk State University. Series Mathematics, 4:3 (2011),  99–109
3. Invariant transformations of formulas
   
   Mat. Zametki, 36:4 (1984),  571–582
4. The universal theory of the integers and the extended twin prime conjecture
   
   Algebra Logika, 22:1 (1983),  26–34
5. Undecidability of the theory of Boolean algebras with an automorphism
   
   Sibirsk. Mat. Zh., 23:3 (1982),  147–154
6. Undecidability of the theory of Abelian groups with an automorphism
   
   Mat. Zametki, 23:4 (1978),  515–520
7. Universal extended theories of integers
   
   Algebra Logika, 16:5 (1977),  588–602
8. The theory of abelian groups with predicates that distinguish subgroups and with endomorphism operations
   
   Algebra Logika, 14:5 (1975),  536–542