Post and Jablonsky Algebras of Compositions (Superpositions)

Abstract

There are two algebras of compositions, Post and Jablonsky algebras. Definitions of these algebras was very simple. The article gives mathematically precise definition of these algebras by using Mal’cev’s definitions of the algebras. A. I. Mal’cev defined pre-iterative and iterative algebras of compositions. The significant extension of pre-iterative algebra is given in the article. Iterative algebra is incorrect. E. L. Post used implicitly pre-iterative algebra. S. V. Jablonsky used implicitly iterative algebra. The Jablonsky algebra has the operation of adding fictitious variables. But this operation is not primitive, since the addition of fictitious variables is possible at absence of this operation. If fictitious functions are deleted in the Jablonsky algebra then this algebra becomes correct. A natural classification of closed sets is given and fictitious closed sets are exposed. The number of fictitious closed sets is continual, the number of essential closed sets is countable.