The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
DOI10.1515/9783110342031zbMath1322.20001OpenAlexW4233946704MaRDI QIDQ400549
Gerhard Rosenberger, Dennis Spellman, Benjamin Fine, Alexei G. Myasnikov, Anthony M. Gaglione
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
model theorylogiccombinatorial group theoryelementary theoriesfully residually free groupselementary equivalencesalgebraic geometry over free groupsalgebraic geometry over groupsdiscriminating groupssquarelike groupsTarski problems
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) Residual properties and generalizations; residually finite groups (20E26) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Algebraic geometry over groups; equations over groups (20F70)
Related Items (4)
This page was built for publication: The elementary theory of groups. A guide through the proofs of the Tarski conjectures.