The elementary theory of groups. A guide through the proofs of the Tarski conjectures.

DOI10.1515/9783110342031MaRDI QIDQ400549zbMATH OpenOpenAlexFDO

Authors Benjamin Fine, Gerhard Rosenberger, Dennis Spellman, Anthony Gaglione, Alexei Myasnikov

Publication date 22 August 2014

Published in De Gruyter Expositions in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9783110342031

zbMATH Keywords

logicmodel theoryelementary theoriesfully residually free groupscombinatorial group theoryelementary equivalencesalgebraic geometry over free groupsalgebraic geometry over groupsdiscriminating groupssquarelike groupsTarski problems

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Residual properties and generalizations; residually finite groups (20E26) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Applications of logic to group theory (20A15)

Recommendations

• scientific article; zbMATH DE number 2070157
• Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
• scientific article; zbMATH DE number 2123633
• Elementary theory of free non-abelian groups.
• Diophantine geometry over groups. VI: The elementary theory of a free group.

Cited in

(14)

• Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
• scientific article; zbMATH DE number 2123633 (Why is no real title available?)
• On modal logics of model-theoretic relations
• An axiomatization for the universal theory of the Heisenberg group
• Groups of \(\mathrm{F}\)-type
• On CT and CSA groups and related ideas
• Solutions to Bestvina \& Feighn's exercises on limit groups.
• scientific article; zbMATH DE number 2070157 (Why is no real title available?)
• Groups and model theory. GAGTA book 2
• Faithful real representations of groups of \(F\)-type
• Tarski's problem for varieties of groups with a commutator identity
• Classes of groups generalizing a theorem of Benjamin Baumslag.
• First-order theories and Tarski problems
• Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems

This page was built for publication: The elementary theory of groups. A guide through the proofs of the Tarski conjectures.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q400549)