A non-Abelian variety of groups has an undecidable elementary theory

DOI10.1007/BF01670119MaRDI QIDQ1136747zbMATH OpenFDO

Authors A. P. Zamyatin

Publication date 1978

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

zbMATH Keywords

non-Abelian variety of groupsundecidable theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Quasivarieties and varieties of groups (20E10)

Cites work

• scientific article; zbMATH DE number 3322089 (Why is no real title available?)
• Varieties of groups

Cited in

(6)

• Varieties with decidable finite algebras. I: Linearity
• Model-theoretic and algorithmic questions in group theory
• Infinite groups
• Algebraic and logical aspects of unification
• Finitely Decidable Congruence Modular Varieties
• Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties

This page was built for publication: A non-Abelian variety of groups has an undecidable elementary theory

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