The elementary theory of groups :: a guide through the proofs of the Tarski conjectures /
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. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understan...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; Boston :
Walter de Gruyter GmbH & Co., KG,
[2014]
|
| Series: | De Gruyter expositions in mathematics ;
Volume 60. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | 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. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. |
| Physical Description: | 1 online resource |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3110342030 9783110342031 9783110342048 3110342049 3110341999 9783110341997 3110382571 9783110382570 |
| ISSN: | 0938-6572 ; |
Staff View
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn894739867 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 141107s2014 gw ob 001 0deng d | ||
| 040 | |a YDXCP |b eng |e rda |e pn |c YDXCP |d OCLCQ |d EBLCP |d E7B |d OCLCF |d DEBBG |d DEBSZ |d IDEBK |d COO |d AZK |d OCL |d OCLCQ |d UIU |d COCUF |d MOR |d CCO |d PIFAG |d VGM |d ZCU |d MERUC |d OCLCQ |d OCLCO |d DEGRU |d U3W |d N$T |d STF |d CEF |d CRU |d ICG |d VTS |d OCLCQ |d OCLCO |d INT |d VT2 |d OCLCQ |d OCLCO |d WYU |d TKN |d OCLCQ |d OCLCO |d LEAUB |d DKC |d OCLCQ |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d K6U |d QGK |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d UEJ |d OCLCQ |d CLOUD | ||
| 016 | 7 | |a 1048633586 |2 DE-101 | |
| 019 | |a 961582463 |a 962642447 |a 979955115 |a 992851349 |a 1259096356 | ||
| 020 | |a 3110342030 |q (electronic bk.) | ||
| 020 | |a 9783110342031 |q (electronic bk.) | ||
| 020 | |a 9783110342048 |q (electronic bk.) | ||
| 020 | |a 3110342049 |q (electronic bk.) | ||
| 020 | |a 3110341999 | ||
| 020 | |a 9783110341997 | ||
| 020 | |a 3110382571 | ||
| 020 | |a 9783110382570 | ||
| 020 | |z 9783110341997 | ||
| 020 | |z 3110341999 | ||
| 024 | 3 | |a 9783110341997 | |
| 024 | 7 | |a 10.1515/9783110342031 |2 doi | |
| 035 | |a (OCoLC)894739867 |z (OCoLC)961582463 |z (OCoLC)962642447 |z (OCoLC)979955115 |z (OCoLC)992851349 |z (OCoLC)1259096356 | ||
| 050 | 4 | |a QA565 |b .E44 2014 | |
| 072 | 7 | |a MAT |x 002010 |2 bisacsh | |
| 072 | 7 | |a MAT |x 027000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 002040 |2 bisacsh | |
| 082 | 7 | |a 512/.2 |2 23 | |
| 049 | |a MAIN | ||
| 245 | 0 | 4 | |a The elementary theory of groups : |b a guide through the proofs of the Tarski conjectures / |c by Benjamin Fine [and four others]. |
| 264 | 1 | |a Berlin ; |a Boston : |b Walter de Gruyter GmbH & Co., KG, |c [2014] | |
| 264 | 4 | |c ©2014 | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 347 | |b PDF | ||
| 490 | 1 | |a De Gruyter Expositions in Mathematics, |x 0938-6572 ; |v Volume 60 | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Contents -- |t 1 Group theory and logic: introduction -- |t 2 Combinatorial group theory -- |t 3 Geometric group theory -- |t 4 First order languages and model theory -- |t 5 The Tarski problems -- |t 6 Fully residually free groups I -- |t 7 Fully residually free groups II -- |t 8 Algebraic geometry over groups -- |t 9 The solution of the Tarski problems -- |t 10 On elementary free groups and extensions -- |t 11 Discriminating and squarelike groups -- |t References -- |t Index. |
| 520 | |a 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. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. | ||
| 546 | |a In English. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 600 | 1 | 0 | |a Tarski, Alfred. |
| 600 | 1 | 7 | |a Tarski, Alfred, |d 1901-1983 |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJcKHmdpxmd8dq3xRc3hHC |
| 650 | 0 | |a Geometry, Algebraic. |0 http://id.loc.gov/authorities/subjects/sh85054140 | |
| 650 | 0 | |a Combinatorial analysis. |0 http://id.loc.gov/authorities/subjects/sh85028802 | |
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 6 | |a Géométrie algébrique. | |
| 650 | 6 | |a Analyse combinatoire. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Algebra |x Intermediate. |2 bisacsh | |
| 650 | 7 | |a Combinatorial analysis |2 fast | |
| 650 | 7 | |a Geometry, Algebraic |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 655 | 0 | |a Electronic books. | |
| 700 | 1 | |a Fine, Benjamin, |d 1948- |1 https://id.oclc.org/worldcat/entity/E39PCjvPvPMdHKvtHcTy3FWyQy |0 http://id.loc.gov/authorities/names/n88286955 | |
| 776 | 0 | 8 | |i Print version: |t Elementary theory of groups. |d Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2014] |z 9783110341997 |z 3110341999 |w (DLC) 2014029957 |
| 830 | 0 | |a De Gruyter expositions in mathematics ; |v Volume 60. |0 http://id.loc.gov/authorities/names/n90653843 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=887060 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=887060 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a cloudLibrary |b CLDL |n 9783110382570 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26830635 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26342339 | ||
| 938 | |a De Gruyter |b DEGR |n 9783110342031 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1663235 | ||
| 938 | |a ebrary |b EBRY |n ebr11010164 | ||
| 938 | |a EBSCOhost |b EBSC |n 887060 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis28108512 | ||
| 938 | |a YBP Library Services |b YANK |n 11082862 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn894739867 |
|---|---|
| _version_ | 1829095016563212288 |
| adam_text | |
| any_adam_object | |
| author2 | Fine, Benjamin, 1948- |
| author2_role | |
| author2_variant | b f bf |
| author_GND | http://id.loc.gov/authorities/names/n88286955 |
| author_facet | Fine, Benjamin, 1948- |
| author_sort | Fine, Benjamin, 1948- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA565 |
| callnumber-raw | QA565 .E44 2014 |
| callnumber-search | QA565 .E44 2014 |
| callnumber-sort | QA 3565 E44 42014 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Frontmatter -- Preface -- Contents -- 1 Group theory and logic: introduction -- 2 Combinatorial group theory -- 3 Geometric group theory -- 4 First order languages and model theory -- 5 The Tarski problems -- 6 Fully residually free groups I -- 7 Fully residually free groups II -- 8 Algebraic geometry over groups -- 9 The solution of the Tarski problems -- 10 On elementary free groups and extensions -- 11 Discriminating and squarelike groups -- References -- Index. |
| ctrlnum | (OCoLC)894739867 |
| dewey-full | 512/.2 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.2 |
| dewey-search | 512/.2 |
| dewey-sort | 3512 12 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04760cam a2200877 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn894739867</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |n|||||||||</controlfield><controlfield tag="008">141107s2014 gw ob 001 0deng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">YDXCP</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBBG</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">COO</subfield><subfield code="d">AZK</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UIU</subfield><subfield code="d">COCUF</subfield><subfield code="d">MOR</subfield><subfield code="d">CCO</subfield><subfield code="d">PIFAG</subfield><subfield code="d">VGM</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DEGRU</subfield><subfield code="d">U3W</subfield><subfield code="d">N$T</subfield><subfield code="d">STF</subfield><subfield code="d">CEF</subfield><subfield code="d">CRU</subfield><subfield code="d">ICG</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">LEAUB</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CLOUD</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1048633586</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961582463</subfield><subfield code="a">962642447</subfield><subfield code="a">979955115</subfield><subfield code="a">992851349</subfield><subfield code="a">1259096356</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110342030</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110342031</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110342048</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110342049</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110341999</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110341997</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110382571</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110382570</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783110341997</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3110341999</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783110341997</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110342031</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894739867</subfield><subfield code="z">(OCoLC)961582463</subfield><subfield code="z">(OCoLC)962642447</subfield><subfield code="z">(OCoLC)979955115</subfield><subfield code="z">(OCoLC)992851349</subfield><subfield code="z">(OCoLC)1259096356</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA565</subfield><subfield code="b">.E44 2014</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">002010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">027000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">002040</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">512/.2</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="4"><subfield code="a">The elementary theory of groups :</subfield><subfield code="b">a guide through the proofs of the Tarski conjectures /</subfield><subfield code="c">by Benjamin Fine [and four others].</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston :</subfield><subfield code="b">Walter de Gruyter GmbH & Co., KG,</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="b">PDF</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">De Gruyter Expositions in Mathematics,</subfield><subfield code="x">0938-6572 ;</subfield><subfield code="v">Volume 60</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter --</subfield><subfield code="t">Preface --</subfield><subfield code="t">Contents --</subfield><subfield code="t">1 Group theory and logic: introduction --</subfield><subfield code="t">2 Combinatorial group theory --</subfield><subfield code="t">3 Geometric group theory --</subfield><subfield code="t">4 First order languages and model theory --</subfield><subfield code="t">5 The Tarski problems --</subfield><subfield code="t">6 Fully residually free groups I --</subfield><subfield code="t">7 Fully residually free groups II --</subfield><subfield code="t">8 Algebraic geometry over groups --</subfield><subfield code="t">9 The solution of the Tarski problems --</subfield><subfield code="t">10 On elementary free groups and extensions --</subfield><subfield code="t">11 Discriminating and squarelike groups --</subfield><subfield code="t">References --</subfield><subfield code="t">Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Tarski, Alfred.</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Tarski, Alfred,</subfield><subfield code="d">1901-1983</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJcKHmdpxmd8dq3xRc3hHC</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Geometry, Algebraic.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85054140</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Combinatorial analysis.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85028802</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Géométrie algébrique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Analyse combinatoire.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Algebra</subfield><subfield code="x">Intermediate.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Combinatorial analysis</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Geometry, Algebraic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fine, Benjamin,</subfield><subfield code="d">1948-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjvPvPMdHKvtHcTy3FWyQy</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88286955</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Elementary theory of groups.</subfield><subfield code="d">Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2014]</subfield><subfield code="z">9783110341997</subfield><subfield code="z">3110341999</subfield><subfield code="w">(DLC) 2014029957</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">De Gruyter expositions in mathematics ;</subfield><subfield code="v">Volume 60.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n90653843</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=887060</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=887060</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">cloudLibrary</subfield><subfield code="b">CLDL</subfield><subfield code="n">9783110382570</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26830635</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26342339</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">De Gruyter</subfield><subfield code="b">DEGR</subfield><subfield code="n">9783110342031</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1663235</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr11010164</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">887060</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis28108512</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11082862</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. |
| genre_facet | Electronic books. |
| id | ZDB-4-EBA-ocn894739867 |
| illustrated | Not Illustrated |
| indexdate | 2025-04-11T08:42:19Z |
| institution | BVB |
| isbn | 3110342030 9783110342031 9783110342048 3110342049 3110341999 9783110341997 3110382571 9783110382570 |
| issn | 0938-6572 ; |
| language | English |
| oclc_num | 894739867 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Walter de Gruyter GmbH & Co., KG, |
| record_format | marc |
| series | De Gruyter expositions in mathematics ; |
| series2 | De Gruyter Expositions in Mathematics, |
| spelling | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Benjamin Fine [and four others]. Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2014] ©2014 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier text file De Gruyter Expositions in Mathematics, 0938-6572 ; Volume 60 Print version record. Frontmatter -- Preface -- Contents -- 1 Group theory and logic: introduction -- 2 Combinatorial group theory -- 3 Geometric group theory -- 4 First order languages and model theory -- 5 The Tarski problems -- 6 Fully residually free groups I -- 7 Fully residually free groups II -- 8 Algebraic geometry over groups -- 9 The solution of the Tarski problems -- 10 On elementary free groups and extensions -- 11 Discriminating and squarelike groups -- References -- Index. 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. This book is an examination of the material on the general elementary theory of groups that is necessary to begin to understand the proofs. In English. Includes bibliographical references and index. Tarski, Alfred. Tarski, Alfred, 1901-1983 fast https://id.oclc.org/worldcat/entity/E39PBJcKHmdpxmd8dq3xRc3hHC Geometry, Algebraic. http://id.loc.gov/authorities/subjects/sh85054140 Combinatorial analysis. http://id.loc.gov/authorities/subjects/sh85028802 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Géométrie algébrique. Analyse combinatoire. Théorie de la preuve. MATHEMATICS Algebra Intermediate. bisacsh Combinatorial analysis fast Geometry, Algebraic fast Proof theory fast Electronic books. Fine, Benjamin, 1948- https://id.oclc.org/worldcat/entity/E39PCjvPvPMdHKvtHcTy3FWyQy http://id.loc.gov/authorities/names/n88286955 Print version: Elementary theory of groups. Berlin ; Boston : Walter de Gruyter GmbH & Co., KG, [2014] 9783110341997 3110341999 (DLC) 2014029957 De Gruyter expositions in mathematics ; Volume 60. http://id.loc.gov/authorities/names/n90653843 |
| spellingShingle | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / De Gruyter expositions in mathematics ; Frontmatter -- Preface -- Contents -- 1 Group theory and logic: introduction -- 2 Combinatorial group theory -- 3 Geometric group theory -- 4 First order languages and model theory -- 5 The Tarski problems -- 6 Fully residually free groups I -- 7 Fully residually free groups II -- 8 Algebraic geometry over groups -- 9 The solution of the Tarski problems -- 10 On elementary free groups and extensions -- 11 Discriminating and squarelike groups -- References -- Index. Tarski, Alfred. Tarski, Alfred, 1901-1983 fast https://id.oclc.org/worldcat/entity/E39PBJcKHmdpxmd8dq3xRc3hHC Geometry, Algebraic. http://id.loc.gov/authorities/subjects/sh85054140 Combinatorial analysis. http://id.loc.gov/authorities/subjects/sh85028802 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Géométrie algébrique. Analyse combinatoire. Théorie de la preuve. MATHEMATICS Algebra Intermediate. bisacsh Combinatorial analysis fast Geometry, Algebraic fast Proof theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85054140 http://id.loc.gov/authorities/subjects/sh85028802 http://id.loc.gov/authorities/subjects/sh85107437 |
| title | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / |
| title_alt | Frontmatter -- Preface -- Contents -- 1 Group theory and logic: introduction -- 2 Combinatorial group theory -- 3 Geometric group theory -- 4 First order languages and model theory -- 5 The Tarski problems -- 6 Fully residually free groups I -- 7 Fully residually free groups II -- 8 Algebraic geometry over groups -- 9 The solution of the Tarski problems -- 10 On elementary free groups and extensions -- 11 Discriminating and squarelike groups -- References -- Index. |
| title_auth | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / |
| title_exact_search | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / |
| title_full | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Benjamin Fine [and four others]. |
| title_fullStr | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Benjamin Fine [and four others]. |
| title_full_unstemmed | The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Benjamin Fine [and four others]. |
| title_short | The elementary theory of groups : |
| title_sort | elementary theory of groups a guide through the proofs of the tarski conjectures |
| title_sub | a guide through the proofs of the Tarski conjectures / |
| topic | Tarski, Alfred. Tarski, Alfred, 1901-1983 fast https://id.oclc.org/worldcat/entity/E39PBJcKHmdpxmd8dq3xRc3hHC Geometry, Algebraic. http://id.loc.gov/authorities/subjects/sh85054140 Combinatorial analysis. http://id.loc.gov/authorities/subjects/sh85028802 Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Géométrie algébrique. Analyse combinatoire. Théorie de la preuve. MATHEMATICS Algebra Intermediate. bisacsh Combinatorial analysis fast Geometry, Algebraic fast Proof theory fast |
| topic_facet | Tarski, Alfred. Tarski, Alfred, 1901-1983 Geometry, Algebraic. Combinatorial analysis. Proof theory. Géométrie algébrique. Analyse combinatoire. Théorie de la preuve. MATHEMATICS Algebra Intermediate. Combinatorial analysis Geometry, Algebraic Proof theory Electronic books. |
| work_keys_str_mv | AT finebenjamin theelementarytheoryofgroupsaguidethroughtheproofsofthetarskiconjectures AT finebenjamin elementarytheoryofgroupsaguidethroughtheproofsofthetarskiconjectures |