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

DOI10.1007/BF01670119zbMATH Open0427.03009MaRDI QIDQ1136747FDOQ1136747

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

• Varieties of groups
• Title not available (Why is that?)

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)