Taitslin Michael Abram

Publications in Math-Net.Ru

1. Comparison of expressive power of some query languages for databases
   
   Trudy Mat. Inst. Steklova, 274 (2011),  297–313
2. Collapse results for query languages in database theory
   
   Uspekhi Mat. Nauk, 61:2(368) (2006),  3–66
3. Restricted pseudofinite homogeneity and isolation
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2003, no. 1,  5–15
4. On dynamic theories of free algebras
   
   Mat. Sb., 180:3 (1989),  307–321
5. Hierarchies of program logics
   
   Sibirsk. Mat. Zh., 24:3 (1983),  184–192
6. On elementary properties of existentially closed system
   
   Uspekhi Mat. Nauk, 34:2(206) (1979),  39–94
7. On the isomorphism problem for commutative semigroups
   
   Mat. Sb. (N.S.), 93(135):1 (1974),  103–128
8. Existentially closed regular commutative semigroups
   
   Algebra Logika, 12:6 (1973),  689–703
9. Two remarks on the varieties ${\mathfrak A}_{m,n}$
   
   Algebra Logika, 11:5 (1972),  501–508
10. Categorial quasivarieties
    
    Algebra Logika, 11:1 (1972),  3–38
11. Elementary theories of lattices of subgroups
    
    Algebra Logika, 9:4 (1970),  473–483
12. Equivalence of automata with respect to a commutative semigroup
    
    Algebra Logika, 8:5 (1969),  553–600
13. Prime ideals in polynomial rings
    
    Algebra Logika, 7:6 (1968),  64–66
14. The elementary theories of lattices of ideals in polynomial rings
    
    Algebra Logika, 7:2 (1968),  94–97
15. Algorithmic problems for commutative semigroups
    
    Dokl. Akad. Nauk SSSR, 178:4 (1968),  786–789
16. On the isomorphism problem for commutative semigroups
    
    Sibirsk. Mat. Zh., 9:2 (1968),  375–401
17. Some more examples of undecidable theories
    
    Algebra i Logika. Sem., 6:3 (1967),  105–111
18. Two remarks on commutative semigroups isomorphism
    
    Algebra i Logika. Sem., 6:1 (1967),  95–110
19. On elementary theories of commutative semigroups
    
    Algebra i Logika. Sem., 5:4 (1966),  55–89
20. On elementary theories of commutative semigroups with cancellation
    
    Algebra i Logika. Sem., 5:1 (1966),  51–69
21. On the theory of finite rings with division
    
    Algebra i Logika. Sem., 4:4 (1965),  103–114
22. On elementary theory of classical Lie algebras
    
    Dokl. Akad. Nauk SSSR, 164:6 (1965),  1243–1245
23. Elementary theories
    
    Uspekhi Mat. Nauk, 20:4(124) (1965),  37–108
24. On elementary theories of free nilpotent algebras
    
    Algebra i Logika. Sem., 3:5-6 (1964),  57–63
25. Decidability of certain elementary theories
    
    Algebra i Logika. Sem., 3:3 (1964),  5–12
26. Undecidability of certain theories
    
    Algebra i Logika. Sem., 2:5 (1963),  37–41
27. Undecidability of elementary theories of certain classes of finite commutative associative rings
    
    Algebra i Logika. Sem., 2:3 (1963),  29–51
28. The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae in the elementary theory of lattices
    
    Algebra i Logika. Sem., 1:3 (1962),  24–38
29. Relatively elementary subspaces in compact Lie algebras
    
    Algebra i Logika. Sem., 1:2 (1962),  30–46
30. Relatively elementary subspaces in compact Lie algebras
    
    Dokl. Akad. Nauk SSSR, 144:5 (1962),  997–998
31. On finitely approximable Abelian multi-operator groups
    
    Uspekhi Mat. Nauk, 17:5(107) (1962),  137–142
32. Undecidability of the elementary theory of commutative semigroups with cancellations
    
    Sibirsk. Mat. Zh., 3:2 (1962),  308–309
33. Finite approximability of $\Omega$-groups
    
    Sibirsk. Mat. Zh., 3:1 (1962),  95–102


34. Meetings of Siberian Mathematical Society
    
    Uspekhi Mat. Nauk, 19:2(116) (1964),  207–208