{"entities":{"Q555757":{"pageid":557524,"ns":120,"title":"Item:Q555757","lastrevid":48497821,"modified":"2026-01-05T00:36:08Z","type":"item","id":"Q555757","labels":{"en":{"language":"en","value":"Algebraic geometry over groups. III: Elements of model theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174884"}},"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":"Q555757$ED23FF11-E302-4876-9B33-AD1AE15D187C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13c21eaec4f68adb96774dd6dd722421cf4f7ce3","datavalue":{"value":{"text":"Algebraic geometry over groups. III: Elements of model theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555757$156E00AC-217A-46AF-AFA5-9FEEB6C6D43E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f5f8572c3d6513f0170a9a763e9a753a4866297","datavalue":{"value":"1078.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$5EF1C97A-4104-4BC3-94B5-F99C45AFF97E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cbebe9c8b7a488c6816d30c6434c4bf01e0359c","datavalue":{"value":{"entity-type":"item","numeric-id":555756,"id":"Q555756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$2D99DCA9-0DA7-4D8C-9A90-0CB6DB46A057","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":"Q555757$12E69D64-F0B1-436A-AF4D-F043C5EB7040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b37fd41a4f934e2be7f45ec34972593a5558d61","datavalue":{"value":{"entity-type":"item","numeric-id":656399,"id":"Q656399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$B9E104EA-1E90-4F04-B86E-AFE16D62080C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$535CAE57-762F-43FB-A69F-91093D339DE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555757$1D442431-B0BF-4A7B-840F-D554FD981DDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"736f7294efb813c88025af8ced2f4b4c24cb5169","datavalue":{"value":"[For part II cf. \\textit{A. Myasnikov} and \\textit{V. Remeslennikov}, ibid. 234, No. 1, 225-276 (2000; Zbl 0970.20017).]   The authors develop an approach to direct products of domains via orthogonal systems (of idempotents) similar to the classical one in the ring theory. This approach is applied in their proof that the elementary theories of coordinate groups \\(\\Gamma(Y_i)\\) of irreducible components \\(Y_i\\) of an algebraic set \\(Y\\) over a group \\(G\\) are interpretable in the coordinate group \\(\\Gamma(Y)\\) of \\(Y\\) for a wide class of groups \\(G\\), containing every equationally Noetherian, non-Abelian CSA-group.   There are some other interesting applications of the authors' methods. In particular, every finitely generated group \\(H\\) from the quasi-variety generated by a free non-Abelian group \\(F\\) is universally equivalent either to a unique direct product \\(F^l\\) of \\(l\\) copies of \\(F\\) or to the group \\(F^l\\times\\mathbb{Z}\\), where \\(\\mathbb{Z}\\) is infinite cyclic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$883FE49E-5AE7-4492-B5C7-D23542CFF2FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$FA5BD7A4-3B03-4268-BEE6-EFCD6A9DF6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb826c1697b897b59d341e39765fd806963eea19","datavalue":{"value":"14A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$5A464AFF-833A-4907-A5BA-E2AB25287297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$77AA4A56-EC5B-4935-9B40-4B1ACF6C5622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$AAB951F3-282A-479D-9F79-1932E5C063CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$121850B6-CAFD-421D-A900-90E580A6B8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f4d97f788112bb319e1ce84c40c80e26fe1c09f","datavalue":{"value":"20E34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$181986A7-4836-4827-AF70-996404292115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$51566A9F-693E-4FE1-8C96-5F184DA8F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$71AF137E-EFD1-4C01-A17E-99DA0D16DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$AD19D327-8EE9-445D-8CC5-47B8B4469EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c35ac007cc4d82f9ed0ddc06c3aeccd3147b7ca7","datavalue":{"value":"2174884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$18962361-A455-47DA-BD95-643E841D8C74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a3c9d53482da389b15b5755a6a11f20ca8bdcf","datavalue":{"value":"algebraic geometry over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$C4542954-2967-4FF1-9478-E3768ABB5DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$A59ED8B8-CAE6-4F52-A907-7F8C826085BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$7870EC65-0F5E-45CD-AD3E-94B2BD75CC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ddd422d4a7efa8cbe4a4e4ee8bcd5c82703a65","datavalue":{"value":"irreducible components","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$AFB120D7-C42D-40A8-9B68-563E03E61FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$881B3632-D77F-4BD6-82A1-19C9065038F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$30F8F109-DF19-4C3D-981E-5C1AB8FDD9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447a051bdde7429cec7cf770df6c80d2e2428467","datavalue":{"value":"varieties of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$BE86A1A0-8C2E-4847-A102-B708DF3E1551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e57c28add120c4b387e2bc1cd1e5bd4e64f72b1","datavalue":{"value":"orthogonal systems of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$4A222B2D-186A-461B-84E6-1B43D1BEC6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$40AB53B1-6205-4708-8D8C-358E516EFBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ada3e09a8b2c948212b3b8c24ccca49e9118a3d","datavalue":{"value":"coordinate groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$850438DF-1839-464E-A813-5BC7AD2B022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542470d6f63fefcd2ae937cc78d1c833a1db112c","datavalue":{"value":"finitely generated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$D6452511-D532-461D-AA9F-1A8BB979A301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13fde25500d5308a69356078c0b6580b5841b64","datavalue":{"value":"universal equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q555757$80CAEF94-F135-4028-8A1F-5B301604CAB9","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":"Q555757$9DB064D0-B8B9-4F06-B8D4-3E783F78A32B","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":"Q555757$D72D8F74-7A26-4F55-A068-0718CC076E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3082255b50ea92f04ca3ca88a97b2bf839ce5f3e","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2004.07.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q555757$EB7FF41D-7979-43B7-8261-DFE768B6C281","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec06f6087268fdc31424fe3015a4c228bba262cb","datavalue":{"value":"W1974877162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$0E5BFFE6-7E78-4013-83D9-5E449D0AF43B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54cd5924f9676fb469b6e12b9519ee35d1a0a863","datavalue":{"value":{"entity-type":"item","numeric-id":1306828,"id":"Q1306828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$6216108C-94C5-40FA-BCF1-0D7336BE1CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f34aa834bd7fd27e51fb70342b5e6e79ddf10d","datavalue":{"value":{"entity-type":"item","numeric-id":1258374,"id":"Q1258374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$5D7B90E6-8DB0-4298-B586-2FBDA489FFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$6B1089ED-C6D8-4A11-82EC-BBBC8A5D029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d33559c03ddf0f79fbb43f6d7242f6c50aac99","datavalue":{"value":{"entity-type":"item","numeric-id":3751772,"id":"Q3751772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$D017BE1E-BA01-4A82-8D18-C285E5383000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$6D2E13B0-3B73-454C-92F4-218D392EBE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7948b94c63c08d9a411f4bab8f269dba48bc","datavalue":{"value":{"entity-type":"item","numeric-id":1813802,"id":"Q1813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$4C7D4CED-8D1F-43A9-8076-800D0837B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2866fbc9210ebd34d1d6c0bc2d8dd34e1efe5b","datavalue":{"value":{"entity-type":"item","numeric-id":4335557,"id":"Q4335557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$11BCBF0B-993B-47EA-8B3C-D6DA061C0B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2ee33b827465401df953c4dca3df79e1f068fd","datavalue":{"value":{"entity-type":"item","numeric-id":1841824,"id":"Q1841824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$A59069EC-08F7-41A1-B366-4542CDBC5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef407998fb8e0ad5e496b69623f8818fd9f6c95","datavalue":{"value":{"entity-type":"item","numeric-id":3041166,"id":"Q3041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555757$79C92E23-75C2-41EC-A03D-2677227F3176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55d507c9f54c3e8609d0538b1fa5d73b5a1de33e","datavalue":{"value":"10.1016/J.JALGEBRA.2004.07.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555757$C268746F-0414-4838-A6FD-D86630CA41D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9133c565c909654207ed3ac1514a1afc7021db","datavalue":{"value":{"entity-type":"item","numeric-id":1306828,"id":"Q1306828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0773fc1c1329acc478239b5dac23c478c34968","datavalue":{"value":{"amount":"+0.8351912498474121","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":"Q555757$CE2D0259-9704-415B-B53D-A6714A91E658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf1eabb11b3521096850221237c3c92b40b4375","datavalue":{"value":{"entity-type":"item","numeric-id":2155321,"id":"Q2155321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0773fc1c1329acc478239b5dac23c478c34968","datavalue":{"value":{"amount":"+0.8351912498474121","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":"Q555757$CA7D1286-422F-410B-B56F-E9575D6C9C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde3732029a83bfe1d1525a87fb591f76fbb08","datavalue":{"value":{"entity-type":"item","numeric-id":1841824,"id":"Q1841824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0171e2d4ee1a1658c7d0683afb8f5793ac01c73d","datavalue":{"value":{"amount":"+0.8177515268325806","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":"Q555757$25C1B3A9-BA5F-45B7-8975-1689A2D638C7","rank":"normal"},{"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":"46a7cb932c18c024820022203ce9f96c4b205156","datavalue":{"value":{"amount":"+0.8162885904312134","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":"Q555757$8150C744-2306-45FB-AA56-C27DAB56D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939745689de17f772d932195b0ed09c8b9e91d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4942268,"id":"Q4942268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5305c17fb31856e630105e5886afd7f6e3ebac22","datavalue":{"value":{"amount":"+0.7929016351699829","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":"Q555757$997201B3-EA23-49FE-8F06-01CC14C1824E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:555757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:555757"}}}}}