scientific article; zbMATH DE number 475203

zbMath0797.03062MaRDI QIDQ4273440

Richard J. Thompson

Publication date: 26 January 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

replacementsubstitutionscylindric algebrassemigroups of finite non-permutational transformations

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Algebraic logic (03G99) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Axioms for the finite non-bijective self-maps. Remark on a paper by G. Sági