The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
DOI10.1515/9783110342031zbMATH Open1322.20001OpenAlexW4233946704MaRDI QIDQ400549FDOQ400549
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
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.
logicmodel theoryelementary theoriesfully residually free groupscombinatorial group theoryelementary equivalencesalgebraic geometry over free groupsalgebraic geometry over groupsdiscriminating groupssquarelike groupsTarski problems
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)
Cited In (14)
- Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
- Title not available (Why is that?)
- 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.
- Title not available (Why is that?)
- 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)
