An axiomatization of the algebra of transformations over a set (Q2525327)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatization of the algebra of transformations over a set |
scientific article |
Statements
An axiomatization of the algebra of transformations over a set (English)
0 references
1966
0 references
ensemble est une algèbre (infinie), abstraite de transformations. Le résultat le plus important est la réciproque: Théorème: Toute algèbre abstraite de transformations infinie est isomorphe à une algèbre de transformations au-dessus d'un ensemble. D'autres résultats sont annoncés pour des articles ultérieurs.
0 references
axiomatization
0 references
algebra of transformations over a set
0 references
