Elementary Equivalence of Derived Structures of Free Semigroups, Unars, and Groups

DOI10.1023/B:ALLO.0000048829.60182.48zbMath1115.08009OpenAlexW2094447449MaRDI QIDQ5294712

Aleksandr Georgievich Pinus

Publication date: 26 July 2007

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:allo.0000048829.60182.48

zbMATH Keywords

semigroupfree algebragroupelementary equivalenceunar

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free semigroups, generators and relations, word problems (20M05) Free algebras (08B20) Basic properties of first-order languages and structures (03C07)

Related Items (6)

On a concrete characterization problem of universal graphic semiautomata ⋮ On concrete characterization of universal graphic automata ⋮ Elementary definability of the class of universal planar automata in the class of semigroups ⋮ Abstract characterization of input symbol semigroups of universal hypergraphic automata ⋮ On Definability of Universal Graphic Automata by Their Input Symbol Semigroups ⋮ Relatively elementary definability of the class of universal graphic semiautomata in the class of semigroups

This page was built for publication: Elementary Equivalence of Derived Structures of Free Semigroups, Unars, and Groups