{"entities":{"Q400549":{"pageid":402316,"ns":120,"title":"Item:Q400549","lastrevid":61608645,"modified":"2026-04-11T00:26:41Z","type":"item","id":"Q400549","labels":{"en":{"language":"en","value":"The elementary theory of groups. A guide through the proofs of the Tarski conjectures."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6333738"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$C5BD09FF-4C72-40CB-A6BE-74218611DF36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1e863b7457cf23bcdd2d40b98884eac701fe0b2","datavalue":{"value":{"text":"The elementary theory of groups. A guide through the proofs of the Tarski conjectures.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q400549$9D29E3DF-C410-455D-899A-01FBCA4D4587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"943881f7801b1af4b4f682c4cc12cc47fba5450e","datavalue":{"value":"1322.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$344ADED8-1F6E-4EDD-A02C-A24FB59BE55E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d048239210855058d5de2e58a407c30b6585b46a","datavalue":{"value":"10.1515/9783110342031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$8F09508F-3AA4-4D38-8B5D-CB1DF69BEBE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae0b959f275e42a88ed53d24bfdfccb0a2c3b8d","datavalue":{"value":{"entity-type":"item","numeric-id":400546,"id":"Q400546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$8AB3F696-CAF4-4896-B537-5C561E4FF3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1017c2329d360e9d559f54fb1de0ad30658584","datavalue":{"value":{"entity-type":"item","numeric-id":203188,"id":"Q203188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$00601C8B-B1DA-4B71-BBD9-37A679390FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4438120fe1fba2fd97be696e4cef192c5010df56","datavalue":{"value":{"entity-type":"item","numeric-id":311059,"id":"Q311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$4548AF99-3AF2-4887-BBBE-29F74BF6F3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9bd738d0b223ac5aba12b76b5247b4d33661e7","datavalue":{"value":{"entity-type":"item","numeric-id":311058,"id":"Q311058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$B4F60792-1B7E-4E9E-A85E-7FB4AEF722C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$26FB15EC-97CB-4331-B2B4-F85B4D742092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd8a838af34a5b85d8e63063927f7da80595d2ad","datavalue":{"value":{"entity-type":"item","numeric-id":241815,"id":"Q241815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$59F4E3AD-CACB-404C-B181-39494BD56512","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7a8b27eefbcb795bf06fab270bd2ba67df604cb","datavalue":{"value":{"time":"+2014-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q400549$BB233FD9-5D5A-4DDF-9E10-52FBFF3A580D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c039c02eb78c3e27cd0e064bf4ae34fd1cabfb5","datavalue":{"value":"20-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$C2C7C78F-2D51-405B-A084-84C23BBCB185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$825B2297-2A9A-49EB-BDEE-AB59BDEB8D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6ef259871fba519aa5466cc02e98f40c4b514ae","datavalue":{"value":"20F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$C633E934-BA66-4D0E-AE38-ADB921B4DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$96F3AD80-D43D-47EB-A1D1-D5D53C803E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$8F9A25C1-ADDB-4F31-8EC8-F61EC5FC0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$813ACD45-FFF4-414B-9F41-CEADFD7ED0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$D36A7626-7EED-4055-AFDC-101A871E8122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$43BF8874-479C-4026-9227-1BF7E9A666E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b0908c68bfada78551f506635a093f663108858","datavalue":{"value":"6333738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$4FA12527-8CC8-441E-803B-1037BCF65055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ae5d25c454b6ea68a784ec2fd31cbfd2fb25fc","datavalue":{"value":"combinatorial group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$965227BB-D84C-4FA6-8BEF-4410ABF648BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$090E2BD9-8444-4513-8AF6-5EDA01045170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$A331CB5E-0466-4A18-AC9A-D2B346E0F891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$1B8B3FD8-8ECE-4936-9B50-63C5383517C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6439e8327fde4851814aa59add80b8aa4bf885c2","datavalue":{"value":"elementary equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$A5F18206-CDEC-4A12-B809-617AD9562509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47787f6d99acffa01eb794f85a0722631304b6c5","datavalue":{"value":"algebraic geometry over free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$66DFD8AB-BC79-442A-A766-ECA5C695D088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc667beb0f0ef8845d10dd46d9c63023c939c0cc","datavalue":{"value":"Tarski problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$35832A0A-D1C9-45DD-AA30-E2240F4A02E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a3c9d53482da389b15b5755a6a11f20ca8bdcf","datavalue":{"value":"algebraic geometry over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$0BF3B135-67CE-4412-B8B7-5BD964BF3EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92860d301e64cd8a52b804099fde40372dbd6cd","datavalue":{"value":"fully residually free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$CCDDE9D9-3CD9-4AFF-A863-CCF9D0702ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42956ba322ef66c432a82f7ca2a4184ece838f51","datavalue":{"value":"discriminating groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$88D98AD7-E250-4A43-A364-EAA014A77B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee50a1401cacc22f98070ff83c68c3ea370f576","datavalue":{"value":"squarelike groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$463DD4EA-25F7-478C-A813-87AF6855AB64","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c75e46d52756574cc2c3b6666627a330102767ca","datavalue":{"value":{"entity-type":"item","numeric-id":338846,"id":"Q338846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$7B4D473E-2314-44F6-B626-3479010481C5","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q400549$209151EF-CB11-4F00-80C2-957700ED47AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16ba6fb111c0d994fd09b20e95edab3d1bbe5d11","datavalue":{"value":"https://doi.org/10.1515/9783110342031","type":"string"},"datatype":"url"},"type":"statement","id":"Q400549$8C139037-274A-49A3-AEC7-D4A64EECE7B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e76858139b800865065548b7508f770c7dfad3b3","datavalue":{"value":"W4233946704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q400549$672CD3F8-933B-43F9-B0DC-8390F2998675","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22680d2b18294bd1edf6e37247013ed254dfb7b0","datavalue":{"value":"This book concentrates on the intersection between group theory and logic with focus primarily on infinite discrete groups. The elementary theory of groups is tied to first-order logic and to model theory. The authors deal with ideas and extensions of concepts arising around the famous Tarski problems and their solution. After being an open question for sixty years the Tarski conjectures were answered in the affirmative by O. Kharlampovich and A. Myasnikov and independently by Z. 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 Makanin and Razborov.NEWLINENEWLINE The authors lay groundwork for the solution of the Tarski problems, and then outline the Kharlampovich-Myasnikov proof of the Tarski problems.NEWLINENEWLINE The book gives necessary material from Combinatorial Group Theory, including the material on free groups and amalgams, group complexes and fundamental groups, Nielsen transformations, Bass-Serre theory. The authors describe the essential ideas involved in Geometric Group Theory, including Dehn's algorithms and small cancellation theory, hyperbolic groups, free actions on trees, automatic groups, Stallings foldings. They establish the ideas from first-order languages and model theory, including concepts of filters, ultra-filters and ultra-products which are essential tools in the study of elementary properties of groups. A formal description of the Tarski problems is given. The structure of residually free groups is discussed. The basic framework of algebraic geometry over groups is developed. The implicit function theorem for free groups is presented. Finally, the authors list open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q400549$1E471030-33CE-4988-AEC0-8C9502DEC55E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e086258c8e0c616e34b4aeb14c678e96dcd0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4463893,"id":"Q4463893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ca802485809cfc39bbdc49d5c675194d000d12","datavalue":{"value":{"amount":"+0.8839821219444275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q400549$38B6B466-87FB-4526-A990-A6EA430577B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6483d85f9e887d1a97a58e3cac22465cc3cc3e1d","datavalue":{"value":{"entity-type":"item","numeric-id":3537433,"id":"Q3537433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1273792a18f20ef3630890e3753ae940c587f13","datavalue":{"value":{"amount":"+0.8474799394607544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q400549$5BDE5B37-1A10-45B7-A011-FC7155FD8910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268bdd42734e1fee58084fa4e71c5e1ea5a0c9e6","datavalue":{"value":{"entity-type":"item","numeric-id":4831127,"id":"Q4831127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b649d3448c98b85e5d41485581664f632f6cb58","datavalue":{"value":{"amount":"+0.8243852257728577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q400549$36AB68D9-A7E1-46E5-B221-1B7F717F9ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b80a9f0680c617c4834048e37d9a4716a532bc2","datavalue":{"value":{"entity-type":"item","numeric-id":855727,"id":"Q855727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71749e2349f4569d7e3e55e479bfdcd7a2718cb0","datavalue":{"value":{"amount":"+0.8107970356941223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q400549$E5C17218-81F5-4E9C-8D18-DAA5EFD4FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773375a469b67e5196d82d09b2d3a4c13513af32","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bbb018142ed0acb62332372e166037bc8479e9","datavalue":{"value":{"amount":"+0.8079615235328674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q400549$C1BB7699-77FC-4967-B73A-1B4157D898E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The elementary theory of groups. A guide through the proofs of the Tarski conjectures.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_elementary_theory_of_groups._A_guide_through_the_proofs_of_the_Tarski_conjectures."}}}}}