The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures
Saved in:
| Title: | The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures |
|---|---|
| Description: | After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry over free groups as well as an extension of methods to solve equations in free groups originally developed by Razborov. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. This material includes a complete exposition of the theory of fully residually free groups or limit groups as well a complete description of the algebraic geometry of free groups. Also included are introductory material on combinatorial and geometric group theory and first-order logic. There is then a short outline of the proof of the Tarski conjectures in the manner of Kharlampovich and Myasnikov. |
| Authors: | Benjamin Fine, Anthony Gaglione, Alexei Myasnikov, Gerhard Rosenberger, Dennis Spellman |
| Resource Type: | eBook. |
| Subjects: | Geometry, Algebraic, Combinatorial analysis, Proof theory |
| Categories: | MATHEMATICS / Algebra / Abstract, MATHEMATICS / Research |
| Database: | eBook Collection (EBSCOhost) |
| FullText | Links: – Type: ebook-pdf – Type: ebook-epub Text: Availability: 0 |
|---|---|
| Header | DbId: nlebk DbLabel: eBook Collection (EBSCOhost) An: 887060 RelevancyScore: 1057 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 1057.36352539063 |
| IllustrationInfo | |
| ImageInfo | – Size: thumb Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$887060$PDF&s=r – Size: medium Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$887060$PDF&s=d |
| Items | – Name: Title Label: Title Group: Ti Data: The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures – Name: Abstract Label: Description Group: Ab Data: After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry over free groups as well as an extension of methods to solve equations in free groups originally developed by Razborov. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. This material includes a complete exposition of the theory of fully residually free groups or limit groups as well a complete description of the algebraic geometry of free groups. Also included are introductory material on combinatorial and geometric group theory and first-order logic. There is then a short outline of the proof of the Tarski conjectures in the manner of Kharlampovich and Myasnikov. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Benjamin+Fine%22">Benjamin Fine</searchLink><br /><searchLink fieldCode="AR" term="%22Anthony+Gaglione%22">Anthony Gaglione</searchLink><br /><searchLink fieldCode="AR" term="%22Alexei+Myasnikov%22">Alexei Myasnikov</searchLink><br /><searchLink fieldCode="AR" term="%22Gerhard+Rosenberger%22">Gerhard Rosenberger</searchLink><br /><searchLink fieldCode="AR" term="%22Dennis+Spellman%22">Dennis Spellman</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Geometry%2C+Algebraic%22">Geometry, Algebraic</searchLink><br /><searchLink fieldCode="DE" term="%22Combinatorial+analysis%22">Combinatorial analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Proof+theory%22">Proof theory</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Algebra+%2F+Abstract%22">MATHEMATICS / Algebra / Abstract</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Research%22">MATHEMATICS / Research</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=887060 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 512.2 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Geometry, Algebraic Type: general – SubjectFull: Combinatorial analysis Type: general – SubjectFull: Proof theory Type: general Titles: – TitleFull: The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Benjamin Fine – PersonEntity: Name: NameFull: Anthony Gaglione – PersonEntity: Name: NameFull: Alexei Myasnikov – PersonEntity: Name: NameFull: Gerhard Rosenberger – PersonEntity: Name: NameFull: Dennis Spellman – PersonEntity: Name: NameFull: Benjamin Fine – PersonEntity: Name: NameFull: Anthony Gaglione – PersonEntity: Name: NameFull: Alexei Myasnikov – PersonEntity: Name: NameFull: Gerhard Rosenberger – PersonEntity: Name: NameFull: Dennis Spellman IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2014 – D: 08 M: 02 Type: profile Y: 2018 Identifiers: – Type: isbn-print Value: 9783110341997 – Type: isbn-electronic Value: 9783110342031 – Type: isbn-electronic Value: 9783110382570 – Type: isbn-electronic Value: 9783110342048 Numbering: – Type: volume Value: 00060 Titles: – TitleFull: The Elementary Theory of Groups : A Guide Through the Proofs of the Tarski Conjectures Type: main |
| ResultId | 1 |