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

DOI10.1007/BF01670119zbMath0427.03009MaRDI QIDQ1136747

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) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Foundations of classical theories (including reverse mathematics) (03B30) Quasivarieties and varieties of groups (20E10)

Related Items

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

Cites Work

• Varieties of groups
• Unnamed Item