{"entities":{"Q2503408":{"pageid":2514151,"ns":120,"title":"Item:Q2503408","lastrevid":49917724,"modified":"2026-01-12T01:00:00Z","type":"item","id":"Q2503408","labels":{"en":{"language":"en","value":"Satisfaction of existential theories in finitely presented groups and some embedding theorems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054389"}},"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":"Q2503408$C0346AE5-5842-4331-BC4B-488F3B0071E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5731ce767a4d713c5223939617801aa954a75032","datavalue":{"value":{"text":"Satisfaction of existential theories in finitely presented groups and some embedding theorems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503408$FA0472FC-0722-4704-A289-BFDAC54E0F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1038e023df6f908a656f3baafad7eeaf918870","datavalue":{"value":"1112.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$039EF473-BECC-4574-B6E9-01BDAFED2197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb3865199df4966b0a69793bf9b23f63f4d14f2","datavalue":{"value":{"entity-type":"item","numeric-id":506600,"id":"Q506600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$526BC49E-03D4-4678-8E58-7D6CF55DD2EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$5DE19F8B-C34F-4BE7-8040-D144443CB8EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503408$1E588784-8D40-410B-811C-B5CB840C8F9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14ab4ad3e2f0239a1f98b444732ac2805e725a53","datavalue":{"value":"A group \\(G\\) is called SQ-universal if every countable group is embeddable in a quotient of \\(G\\). The main result of the paper under review is the following theorem: For every recursively enumerable existential theory \\(\\Gamma\\) (in the language of group theory with multiplication, inverse, and neutral element), there exists a finitely presented SQ-universal group \\(H\\) such that \\(\\Gamma\\) is satisfied in every nontrivial quotient of \\(H\\). Furthermore, if \\(\\Gamma\\) is satisfied in some group with soluble word problem, then \\(H\\) can be taken with soluble word problem.   The following theorem gives a new characterization of finitely generated groups with soluble word problem: A finitely generated group \\(G\\) has soluble word problem iff there exists a finitely presented group \\(H\\) such that \\(G\\) is embeddable in every nontrivial quotient of \\(H\\).   The following strong version of a classical theorem of Higman, Neumann and Neumann is proved: For every countable group \\(G\\), there exists a 2-generated SQ-universal group \\(H\\) such that \\(G\\) is embeddable in every nontrivial quotient of \\(H\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$7DA505ED-3071-41FF-B3CA-A16F9AB7F62F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$6C4B6FB5-2EB2-448C-92F9-87673EBA072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$4C096746-5614-4B10-9301-B959579B1F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$A615A151-D5F1-40F8-B5D3-26922F8CC9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$88FB88C6-8D4F-45E7-BE70-4A84515D7BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$6FB86B43-23BE-4D11-9A73-7F34F249A016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$A2795B29-F63F-4EEB-AD58-E67F9BA79E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$FEFC821F-C737-49D2-8BF1-06070E00DC4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a39a0cf153d948e2b19efdacb13939fa320a969","datavalue":{"value":"5054389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$3F453551-664E-492D-950E-64F77AE07DAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$C58A49FD-493F-4F89-8A38-58CEE2F8AD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cdf470ab090b44e5a30f99855d290c47b57ca7","datavalue":{"value":"existential theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$8763D54D-A959-4204-B40F-A58C08ACBCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad6c585ef6df1dae4524412af4ee102fe3c0274","datavalue":{"value":"SQ-universal groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$26942663-A178-42FE-9777-90339FB52A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542470d6f63fefcd2ae937cc78d1c833a1db112c","datavalue":{"value":"finitely generated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$ACFDD9D2-4738-4C10-8AE8-C6DEB617DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503408$AA1F2972-C73F-458A-83AD-C29B2EE00084","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":"Q2503408$493EE895-9E94-402D-91AF-F229DAF12BF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d003dd4ac3e58f88f7016c93eb26480b4cb7f1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503408$8F9218D2-1AFE-4E09-B12E-C7E117293451","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a6df9c2c0abb30e9aa1a4651d679d85bd92973a","datavalue":{"value":"W2074356056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$14B70B34-3A4B-404B-9CBF-2DF099C418AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b028c055e242ea9fa612cc89d8690b5c258969","datavalue":{"value":{"entity-type":"item","numeric-id":4059096,"id":"Q4059096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$903EDF24-53C0-4438-A58C-D1D9A205E772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1567fda4790113f2bb346e27dcf5c3de8ba8d4","datavalue":{"value":{"entity-type":"item","numeric-id":4516130,"id":"Q4516130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$8C512B21-A3AB-4ECC-A607-D7F01F1CAAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$01C74BAD-BFED-4204-BCBF-7020AEC5F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4f445f1243a16249455737f3530f0e03208477","datavalue":{"value":{"entity-type":"item","numeric-id":5531016,"id":"Q5531016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$52110E57-91BE-4797-A1B8-8D9A3B4F2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341cd5f95066da6e587bd06867c92e8177a6804","datavalue":{"value":{"entity-type":"item","numeric-id":5792061,"id":"Q5792061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$DD7AA37D-5D50-4742-BFB0-CF5DD7F16A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$2B700F15-93E6-4F0B-8394-615843BC94F7","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":"Q2503408$D3C34C08-26DE-4FF2-B2A8-A17ACF904BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95cf16de200b5a47847e3641e8b83cacd37d5ea","datavalue":{"value":{"entity-type":"item","numeric-id":4040038,"id":"Q4040038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$1B72CB0A-D8AE-46DB-82F7-2808738B011B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$F62B3F28-37EF-4A53-993D-9FB4870CC8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f77e952e704837a3c3a203036b32182b67329f1","datavalue":{"value":{"entity-type":"item","numeric-id":5730932,"id":"Q5730932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$6EDCF65A-3D91-4610-A2A0-641E07F5D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab21b58e3fa633e2cb5fd5e84c6e1598636e572","datavalue":{"value":{"entity-type":"item","numeric-id":5181683,"id":"Q5181683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$C99271E5-2882-4C90-9018-4D90C4B0BD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$28D66C37-650F-407C-AE13-700E117AF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba58b56f57dce6fdb9cd1ed02fcfb0d4cb8eb55","datavalue":{"value":{"entity-type":"item","numeric-id":3937570,"id":"Q3937570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$D1CD8D60-904E-4AB7-ADFD-D562B93F308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffab9107d6323d7b497634ac7635a953e1d2932","datavalue":{"value":{"entity-type":"item","numeric-id":4012134,"id":"Q4012134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503408$6ED49AE4-6F51-493C-ABA1-75E89CCE9A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ad13f9ef23d4dcc3d5453176675cff192069ae7","datavalue":{"value":"10.1016/J.APAL.2006.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503408$0A8D5A63-ABB4-491C-BE77-C350528BE4A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c785666331eca745ee47659afe59ef7c215df4","datavalue":{"value":{"entity-type":"item","numeric-id":4867081,"id":"Q4867081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f89287117e6249d967c8df152aeddc6d968c70","datavalue":{"value":{"amount":"+0.7763543128967285","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":"Q2503408$2F60BA67-8B40-4879-9641-8AE2A7FC88B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446fe9a39ae9871f6ac3e413e4cccf64d7c1b75","datavalue":{"value":{"entity-type":"item","numeric-id":4240275,"id":"Q4240275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f89287117e6249d967c8df152aeddc6d968c70","datavalue":{"value":{"amount":"+0.7763543128967285","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":"Q2503408$F7A8CA9C-1583-4360-AA22-77E13000F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7aa1b7b9182356d8474c151ed8893a6a0fc8a4","datavalue":{"value":{"entity-type":"item","numeric-id":2358266,"id":"Q2358266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921d33a59cd41c8e819497f495f597d7668fe05b","datavalue":{"value":{"amount":"+0.7637534141540527","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":"Q2503408$1650ED02-C95F-4AD1-9D8A-689B3A6ECDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cfb4f9f06753f437285644c9d762a11278b408","datavalue":{"value":{"entity-type":"item","numeric-id":3831194,"id":"Q3831194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbf98e1d1fb6189dee5063565699a7f1b80175b","datavalue":{"value":{"amount":"+0.7599138021469116","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":"Q2503408$35F9C554-CC4A-46E9-96B9-55580EF4DE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558da098c62d5f2cd0ecc443400b677313e0ea41","datavalue":{"value":{"entity-type":"item","numeric-id":3808304,"id":"Q3808304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478864c85850ba63fbf01886490eeed587dcc7db","datavalue":{"value":{"amount":"+0.7558285593986511","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":"Q2503408$AD91C8D5-3926-46E9-8B41-7C815397E85F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503408","badges":[]}}}}}