Ideals and congruence kernels of algebras
Independence of Equational Classes
Independent axiomatization of varieties of lattice ordered groups
Injectives in equational classes of idempotent semigroups.
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Introduction à la théorie axiomatique des structures.
Invariants of the rational equivalence.
Isotopy invariant quasigroup identities
According to S. Krstić, there are only four quadratic varieties which are closed under isotopy. We give a simple procedure generating quadratic identities and deciding which of the four varieties they define. There are about 37000 such identities with up to five variables.