Formula varieties of associative rings. (Russian) Zbl 0614.16012

A class S of varieties of associative rings is formula if there exists a formula F(x) with one variable x in the first order language of lattices such that F(M) is true if and only if M belongs to S. It is shown that classes of locally finite and of cross varieties of associative rings are formula. All formula varieties form a sublattice F in the lattice L of all varieties of associative rings. Any atom in L belongs to F.
Reviewer: V.A.Artamonov


16Rxx Rings with polynomial identity
08B15 Lattices of varieties
Full Text: EuDML