scientific article; zbMATH DE number 2172859

zbMath1097.03012MaRDI QIDQ4680256

Isidore Fleischer

Publication date: 9 June 2006

Full work available at URL: https://eudml.org/doc/34602

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

zbMATH Keywords

semigroupsubstitutionpreiterative algebraCayley representationselfmapassociative/superassociative lawMal'tsev's formalismpreiterative/combinatory formalism

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Relational systems, laws of composition (08A02) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Defining relations for full semigroups of finite transformations
• The semigroup of not bijective finite selfmaps of an infinite set
• A composition algebra for multiplace functions
• Combinators, \(\lambda\)-terms and proof theory
• ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX
• The Substitutive Law