Elementary classification and decidability of theories of derived structures

DOI10.1070/RM2005v060n03ABEH000847zbMath1105.03016OpenAlexW2079262953MaRDI QIDQ5492065

Yu. M. Vazhenin, Aleksandr Georgievich Pinus

Publication date: 12 October 2006

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm2005v060n03abeh000847

zbMATH Keywords

surveydecidabilityuniversal algebrasderived structureselementary classification

Mathematics Subject Classification ID

Chains and lattices of subgroups, subnormal subgroups (20E15) Decidability of theories and sets of sentences (03B25) Free algebras (08B20) Second- and higher-order model theory (03C85) Equational classes, universal algebra in model theory (03C05) Semilattices (06A12) Automorphisms and endomorphisms of algebraic structures (08A35) Basic properties of first-order languages and structures (03C07)

Related Items (2)

Elementary definability of the class of universal planar automata in the class of semigroups ⋮ Relatively elementary definability of the class of universal graphic semiautomata in the class of semigroups

This page was built for publication: Elementary classification and decidability of theories of derived structures