| The elementary equivalence of free algebras in cantor varieties | 1999/03/01 | English | |
| Constructivizability criterion for an Abelian group | 1999/11/01 | English | |
| Uniformly small Δ* Groups | 1999/01/01 | English | |
| An algorithm for constructing a variety of arbitrary finite dimension | 1998/03/01 | English | |
| Groups with finitely many linear orders | 1999/03/01 | English | |
| Shmel’kin embeddings for abstract and profinite groups | 1999/09/01 | English | |
| Maximal orders of Abelian subgroups in finite simple groups | 1999/03/01 | English | |
| Δ-spaces | 1999/11/01 | English | |
| Admissible inference rules for polymodal logicS5 n C | 1997/09/01 | English | |
| Orthogonal modules and nonlinear cohomologies | 1998/09/01 | English | |
| Conditional identity calculus and conditioned rational equivalence | 1998/07/01 | English | |
| The polynomial growth of colength of varieties of Lie algebras | 1999/03/01 | English | |
| Centers of Mal’tsev and alternative algebras | 1999/09/01 | English | |
| The join of varieties of algebras | 1976/05/01 | English | |
| Regular varieties of algebras | 1976/05/01 | English | |
| Sessions of the “algebra and logic” seminar | 1976/05/01 | English | |
| Amalgams of clones | 2005/01/01 | English | |
| Quasivarieties of groups closed under wreath products and wreathZ-products | 1999/05/01 | English | |
| Sessions of the seminar “Algebra i Logika” | 2008/01/01 | English | |
| Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ n | 2008/01/01 | English | |
| Elementary Equivalence of Partially Commutative Lie Rings and Algebras | 2017/09/01 | English | |
| Sessions of the Seminar “Algebra i Logika” | 2017/09/01 | English | |
| Universal Equivalence of Partially Commutative Lie Algebras | 2017/05/01 | English | |
| Automorphism Group of a Distance-Regular Graph with Intersection Array {35, 32, 1; 1, 4, 35} | 2018/01/01 | English | |
| Sessions of the Seminar “Algebra i Logika” | 2018/01/01 | English | |
| Undecidable Iterative Propositional Calculus | 2016/09/01 | English | |
| The Class of Bounded Lattices Is Not Axiomatizable | 2016/09/01 | English | |
| ∏ 1 1 -Completeness of the Computable Categoricity Problem for Projective Planes | 2016/09/01 | English | |
| Sessions of the Seminar “Algebra i Logika” | 2016/11/01 | English | |
| Sessions of the Seminar “Algebra i Logika” | 2016/07/01 | English | |