A non-Abelian variety of groups has an undecidable elementary theory
From MaRDI portal
Publication:1136747
DOI10.1007/BF01670119zbMath0427.03009MaRDI QIDQ1136747
Publication date: 1978
Published in: Algebra and Logic (Search for Journal in Brave)
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