Elementary classification and decidability of theories of derived structures

DOI10.1070/RM2005V060N03ABEH000847MaRDI QIDQ5492065zbMATH OpenOpenAlexFDO

Authors Yu. M. Vazhenin, A. G. 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

decidabilityderived structureselementary classificationsurveyuniversal algebras

Mathematics Subject Classification ID

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

Recommendations

• Derived structures of universal algebras
• scientific article; zbMATH DE number 3972927
• scientific article; zbMATH DE number 4179358
• Semilattices of Definable Subalgebras
• scientific article; zbMATH DE number 1302671

Cited in

(5)

• Relatively elementary definability of the class of universal graphic semiautomata in the class of semigroups
• Elementary definability of the class of universal planar automata in the class of semigroups
• scientific article; zbMATH DE number 3924746 (Why is no real title available?)
• Derived structures of universal algebras
• Decidability of the elementary theory of universal semifields of the second kind

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492065)