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

zbMATH Keywords

model theorylogiccombinatorial group theoryelementary theoriesfully residually free groupselementary equivalencesalgebraic geometry over free groupsalgebraic geometry over groupsdiscriminating groupssquarelike groupsTarski 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) 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)

On modal logics of model-theoretic relations ⋮ On CT and CSA groups and related ideas ⋮ Faithful real representations of groups of $F$-type ⋮ Classes of Groups Generalizing a Theorem of Benjamin Baumslag

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