δ-Derivations of simple finite-dimensional Jordan superalgebras

We describe non-trivial δ-derivations of semisimple finite-dimensional Jordan algebras over an algebraically closed field of characteristic not 2, and of simple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic 0. For these classes of algebras and superalgebras, non-zero δ-derivations are shown to be missing for δ ≠ 0, 1/2, 1, and we give a complete account of 1/2-derivations. Supported by RFBR grant No. 05-01-00230 and by RF Ministry of Education and Science grant No. 11617. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 585–605, September–October, 2007.     

Novikov-Poisson algebras and associative commutative derivation algebras

We describe Novikov-Poisson algebras in which a Novikov algebra is not simple while its corresponding associative commutative derivation algebra is differentially simple. In particular, it is proved that a Novikov algebra is simple over a field of characteristic not 2 iff its associative commutative derivation algebra is differentially simple. The relationship is established between Novikov-Poisson algebras and Jordan superalgebras. Supported by RFBR (grant No. 05-01-00230), by SB RAS (Integration project No. 1.9), and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (project NSh-344.2008.1). __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 186–202, March–April, 2008.     

A classification of Mal'tsev superalgebras of small dimensions

The classification of Lie superalgebras of small dimensions is well known. Here we set out a similar task regarding Mal'tsev superalgebras. It is established that there exist a number of diverse types of non-Lie Mal'tsev superalgebras of dimension 4. One of the types of 3-dimensional non-Lie Mal'tsev superalgebras allows us to construct a number of interesting examples in the theory of ordinary (finite-dimensional) Mal'tsev algebras. Supported by CMUC-JNICT. Supported by DGA (PCB 6/91). Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 629–654, November–December, 1996.     

Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy

We investigate differences in isomorphism types for Rogers semilattices of computable numberings of families of sets lying in different levels of the arithmetical hierarchy. Supported by RFBR grant No. 05-01-00819 and by INTAS grant No. 00-499. Supported by NSFC grant No. 60310213. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 637–654, November–December, 2006.     

Shirshov composition techniques in Lie superalgebras (noncommutative Gröbner bases)

The paper contains a development of A. I. Shirshov's composition techniques for colored Lie superalgebras: the concepts of a composition and of a stable set are introduced for elements of those algebras, and different modifications of the composition lemma are proved. Bibliography: 36 titles. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 18, pp. 277–289, 1995. During the time of preparing the final version of the article, the author was partially supported by the Russian Foundation for Basic Research, grant 93-011-1543, and by the International Science Foundation, grant M-22000.     

The central closure of the simple “strange” lie superalgebras extended over a commutative algebra

In this work we study central extensions of Lie superalgebras g(A), where g = P(n − 1) are simple Lie superalgebras from one of the so-called “strange” series. We show that universal central extensions of these Lie superalgebras ara trivial, i.e., they are isomorphic to the superalgebras g(A). __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 125–131, 2003.     

Structurable coalgebras

The notion of a structurable coalgebra is defined. It is proved that every structurable coalgebra is locally finite-dimensional. Supported by RFFR grant No. 95-01-01356 and by ISF grant No. RB 6000. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 529–542, September–October, 1996.     

Fuzzy logics with modalities

We explore the basic fuzzy logic BL as well as propositional fuzzy logics with modalities □ and ◊ and a total accessibility relation. Formulations and proofs are given to replacement theorems for BL. A basic calculus of modal fuzzy logic is introduced. For this calculus and its extensions, we prove replacement and deduction theorems. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 731–757, November–December, 2006.     

Freedom from the interpolation property for tense calculi associated with Ershov spaces

We study into the question whether calculi associated with Ershov topological spaces possess Craig’s interpolation property. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 6, pp. 745–762, November–December, 2007.     

Automatic recognition of interpolation in modal calculi

We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3. Supported by RFBR grant No. 06-01-00358 and by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 103–119, January–February, 2007.     

Structure of some ℤ-graded lie superalgebras of vector fields

In this paper we classifyℤ-graded transitive Lie superalgebras with prescribed nonpositive parts listed in [K2]. The classification of infinite-dimensional simple linearly compact Lie superalgebras given in [K2] is based on this result. We also study the structure of the exceptionalℤ-graded transitive Lie superalgebras and give their geometric realization. Dedicated to the memory of Claude Chevalley Partially supported by NSC grant 88-2115-M006-013 of the ROC Partially supported by NSF grant DMS-9622870 An erratum to this article is available at .     

Extension by zero of functions of several variables

We obtain sufficient conditions on a domainG ⊂ ℝn for functions defined onG to be extendable by zero to the entire space ℝn with smoothness preserved in an integral norm. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 351–365, September, 1998. This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00243 and by program “Leading Science Schools” under grant No. 96-15-96102.     

Slender partial quadrangles and their automorphisms

The partial quadrangle PQ(s, t, μ) is an incidence system consisting of points and lines in which every line contains s + 1 points, every point sits on t + 1 lines (two lines meet in at most one point), and the meet of the neighborhoods of any two non-adjacent points in the collinearity graph is a μ-coclique. We provide a classification for partial quadrangles PQ(s, t, μ) with t ⩽ 6, and study into their automorphisms. Supported by RFBR grant No. 05-01-00046 and by RFBR-NSFC grant No. 05-01-39000. __________ Translated from Algebra i Logika, Vol. 45, No. 5, pp. 603–619, September–October, 2006.     

Asymptotics ast → ∞ of the solutions of nonlinear equations with nonsmall initial perturbations

A new method is proposed for finding asymptotics ast → ∞ of the solutions of the Cauchy problem for nonlinear evolution equations with nonsmall initial data. Translated fromMatematicheskie Zametki, Vol. 59, No. 6, pp. 855–864, June, 1996. This research was supported by the Russian Foundation for Basic Research under grant No. 93-011-134 and by the International Science Foundation under grant No. BX000.     

The Chevalley and Costant theorems for Mal’tsev algebras

Centers of universal envelopes for Mal’tsev algebras are explored. It is proved that the center of the universal envelope for a finite-dimensional semisimple Mal’tsev algebra over a field of characteristic 0 is a ring of polynomials in a finite number of variables equal to the dimension of its Cartan subalgebra, and that universal enveloping algebra is a free module over its center. Centers of universal enveloping algebras are computed for some Mal’tsev algebras of small dimensions. Supported by FAPESP grant No. 04/08537-4 and by SO RAN grant No. 1.9. Supported by FAPESP grant Nos. 05/60142-7, 05/60337-2 and by CNPq grant No. 304991/2006-6. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 560–584, September–October, 2007.     

Some properties of autostable models

Established are (1) a nonuniform criterion for the stability of models in terms of enumeration reducibility of constructivizations; (2) a criterion for the autostability of certain particular classes of models close to algebraic number fields; (3) a uniform autostability of each 1-constructive model that is autostable. Supported by RFFR grant No. 096-01-01525 and by ISF grant NQ 6000. Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 685–698, November–December, 1996.     

Δ-spaces

We introduce the notion of a Δ-space and argue that a complete subcategory of the categoryTOP ₀of all topological T₀-spaces, defined by Δ-spaces, is a subdirectly closed subcategory ofTOP ₀that contains many of the known denotational semantic categories of topological spaces as subdirectly closed subcategories. As a consequence, the affirmative answer is given to Scott’s question which inquires whether the category of bifinite domains is a complete subdirectly closed subcategory ofEQU. Supported jointly by RFFR grant No. 96-0-00976 and by DFG grant No. 436-11312670. Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 667–679, November–December, 1999.     

Large nilpotent subgroups of finite simple groups

Orders and the structure of large nilpotent subgroups in all finite simple groups are determined. In particular, it is proved that if G is a finite simple non-Abelian group, and N is some of its nilpotent subgroups, then |N|²<|G|. Supported through FP “Integration” project No. 274, by RFFR grant No. 99-01-00550, by International Soros Education Program for Exact Sciences (ISEP) grant No. S99-56, and by a SO RAN grant for Young Scientists, Presidium Decree No. 83 of 03/10/2000. Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 526–546, September—October, 2000.     

The Beth property and interpolation in lattice-based algebras and logics

We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper. Supported by INTAS (grant No. 04-77-7080) and by RFBR (grant No. 06-01-00358). Supported by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 307–334, May–June, 2008.