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

DOI10.1007/BF01670119MaRDI QIDQ1136747zbMATHFDO

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)

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