Introduction à la théorie axiomatique des structures.
Introduction to coalgebra.
Invariance groups of finite functions and orbit equivalence of permutation groups
Which subgroups of the symmetric group Sn arise as invariance groups of n-variable functions defined on a k-element domain? It appears that the higher the difference n-k, the more difficult it is to answer this question. For k ≤ n, the answer is easy: all subgroups of Sn are invariance groups. We give a complete answer in the cases k = n-1 and k = n-2, and we also give a partial answer in the general case: we describe invariance groups when n is much larger than n-k. The proof utilizes Galois connections...
Invariants of the rational equivalence.
Inverse semigroup varieties with the amalgamation property.
Inverse semirings and their lattice of congruences
Irreducible Belousov equations on quasigroups
Isomorphic algebraic pre-closures and equivalent set-systems
Isomorphisms of products of infinite connected graphs
Isotone analogs of results by Mal'tsev and Rosenberg.
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.
Iterative nondeterministic algebras