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)

Full work available at URL https://doi.org/10.1007/BF01670119

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) Quasivarieties and varieties of groups (20E10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cites work

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

Cited in

(6)

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

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)