Positively conditional pseudovarieties and implicit operations on them.
On functions commuting with semigroups of transformations of algebras.
Invariants of the rational equivalence.
Proper automorphisms of universal algebras.
Computability potential scales of -element algebras with restrictions on arity.
Implicit operations on the categories of universal algebras.
On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra.
Elementary equivalence for the lattices of subalgebras and automorphism groups of free algebras.
The computability potential scale of all finite algebras.
On automorphisms of computability potential scales for -element algebras.
On independence of the relations of epimorphy and embeddability on the variety of all lattices.
On the length of scales of computability potentials for -element algebras.
The positive and generalized discriminators don't exist
In this paper it is proved that there does not exist a function for the language of positive and generalized conditional terms that behaves the same as the discriminator for the language of conditional terms.
О богатых и бедных алгебрах
Page 1