Tarski’s problem about the elementary theory of free groups has a positive solution

DOI10.1090/S1079-6762-98-00047-XzbMath0923.20016OpenAlexW1608435027MaRDI QIDQ4235625

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 22 March 1999

Published in: Electronic Research Announcements of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/223371

zbMATH Keywords

free groupselementary theoriesTarski's problems

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items

Compactness conditions in universal algebraic geometry ⋮ Implicit function theorem over free groups. ⋮ Elementary theory of free non-abelian groups. ⋮ Unnamed Item ⋮ Characteristic and IA-invariant radicals ⋮ The origins of combinatorics on words ⋮ Essential surfaces in graph pairs ⋮ Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups ⋮ On Turner’s theorem and first-order theory ⋮ Equations in polyadic groups ⋮ EQUATIONS IN FREE INVERSE MONOIDS ⋮ Subgroup properties of fully residually free groups ⋮ Nullstellensatz for relative existentially closed group ⋮ Experimenting with Infinite Groups, I ⋮ Lyndon's Group is Conjugately Residually Free ⋮ Almost Locally Free Groups and a Theorem of Magnus: Some Questions ⋮ Limit groups as limits of free groups. ⋮ Aspects of free groups. ⋮ First-order aspects of Coxeter groups ⋮ Algebraic Geometry over Heyting Algebras ⋮ On the Equationally Artinian Groups

Cites Work

• Quadratic equations over free groups and free products
• Varieties of algebras and algebraic varieties
• On generalised free products
• Finiteness properties of matrix representations
• The verbal topology of a group
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Model theory
• Subgroups of finite index of Fuchsian groups
• Subgroups of infinite index in Fuchsian groups
• \(\exists\)-free groups
• Equations in Free Groups
• Groups With Parametric Exponents
• Equations in groups
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• One-Variable Equations in Free Groups
• Elementary Properties of Free Groups
• Length Functions in Groups.
• Concatenation as a basis for arithmetic
• Elementary properties of Abelian groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item