{"entities":{"Q1937744":{"pageid":1948486,"ns":120,"title":"Item:Q1937744","lastrevid":57611358,"modified":"2026-03-31T15:00:27Z","type":"item","id":"Q1937744","labels":{"en":{"language":"en","value":"Two remarks on the first-order theories of Baumslag-Solitar groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6133175"}},"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":"Q1937744$E7047920-0A4B-4321-94E7-A09F5AB90CDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5d019db7b30c75ddc2fc84917b095152ec77833","datavalue":{"value":{"text":"Two remarks on the first-order theories of Baumslag-Solitar groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1937744$6131B3B1-9D33-4741-941C-9ABD1849B34E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3777d8c5421ae063d629ffe81499b2019e0bef72","datavalue":{"value":"1260.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$106DF88C-013C-4FE6-B189-6F164F1BA930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de6f1afa6a8c22bcc0bef4239e66819ad6c90953","datavalue":{"value":"10.1134/S0037446612050060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$9145ED16-1CF2-459D-92A3-1BC2BF5A8D0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$F6C142E2-75FA-41C4-B7E5-65DE0DDF40A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec4168dd4aa77030672ba11deddfe9fac6cc9b8e","datavalue":{"value":{"time":"+2013-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1937744$58E064EA-EB7F-453F-A1D0-A50350D51190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdddcbbb6d751980cd5dd52d7e0c2773c608dae1","datavalue":{"value":"https://arxiv.org/abs/1002.2658","type":"string"},"datatype":"url"},"type":"statement","id":"Q1937744$7A3E41B0-F2D4-436D-A374-1C4B2CBAD14D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75abf2076bce4961d0215199a71eeeb189f99abb","datavalue":{"value":"This short paper contains two remarks on Baumslag-Solitar groups and their first-order theories. Recall that the Baumslag-Solitar group \\(BS(m, n)\\) is given by \\(\\langle a, b\\mid a^{-1}b^{m}a = a^{n}\\rangle\\).  It is observed that any finitely generated group elementary equivalent to \\(BS(1,n)\\) is actually isomorphic to \\(BS(1, n)\\). It is also proved that \\(BS(m, n)\\) and \\(BS(k, \\ell)\\) have the same first-order theory if and only if there is \\(\\varepsilon = \\pm 1\\) such that (\\(m = \\varepsilon k\\) and \\(n = \\varepsilon \\ell\\)) or (\\(m = \\varepsilon \\ell\\) and \\(n = \\varepsilon k\\)). (Actually considering the \\textit{existential} theory is sufficient for this equivalence to hold.) This generalizes the classification of Baumslag-Solitar groups up to isomorphism obtained by \\textit{D. I. Moldavanskij} [Ukr. Math. J. 43, No. 12, 1569--1571 (1991); translation from Ukr. Mat. Zh. 43, No. 12, 1684--1686 (1991; Zbl 0782.20027)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937744$9F65EAD3-0A64-4280-95D5-AABD49173240","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45eb5ddce0d956df8d3cabcffcf3c509eccc63d0","datavalue":{"value":{"entity-type":"item","numeric-id":318320,"id":"Q318320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$6F6BFDAA-FAF9-45C6-AE1D-DB6F4454F2D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$7D80F46F-4E88-44A8-80C0-62E688AC1ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$EFC93945-1689-450A-8BAB-1F48B2BC501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$13B58D01-1891-4C0F-9EE0-E3EEE3015CAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cd69cba341dddd8d635d5456d2eac9546a0bd06","datavalue":{"value":"6133175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$3CDD16DF-8947-4C40-808D-FE02E7240550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a93c1fa98ddc26ae221334ee4a28abb74695b9c","datavalue":{"value":"Baumslag-Solitar group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937744$5508EBB4-8584-4B39-A999-D30BB0B6810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9922014f35216837840b07040b06026087d10316","datavalue":{"value":"one relator group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937744$AE686F04-8C27-4C75-862F-6F28ACB11F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937744$332A31A2-6186-4F9E-8DBE-48C9FB3D01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef18e45b31bdcff1d7b420ebfc8d24ddbe66e08e","datavalue":{"value":"solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937744$0C741938-03D1-4069-94F9-7CE82B171AA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1527ee7b6fa640f0b7e8c18f92a8e75ee1810ba","datavalue":{"value":{"entity-type":"item","numeric-id":258860,"id":"Q258860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$5D5894BC-6005-4932-AC80-F70B36536BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5d5a7741bbf53546456d813eef58efcba745635","datavalue":{"value":{"entity-type":"item","numeric-id":531909,"id":"Q531909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$D1745188-29E6-448D-8720-7315E87C5036","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":"Q1937744$7E29B8F8-2BAC-4E3E-96E3-D249C9D60AB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$A39A59B9-E070-4524-B0B7-0D0BD0E6634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32923497e090d931a41e292355cdf2b73e9faf78","datavalue":{"value":{"entity-type":"item","numeric-id":3472281,"id":"Q3472281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$5D238847-8776-4753-B113-0D567F1108D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49585943064555200fbba8c00e795c8666ca0c","datavalue":{"value":{"entity-type":"item","numeric-id":855727,"id":"Q855727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$F2631423-6FA9-4DB2-9932-B5D714864887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a46767f4871cc556210cf3933b2a322ed5ed2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$F9AB805D-3C08-49EA-BEA7-D2CC130962B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7801ed540c524add2d64781a6178b292b3f9a56","datavalue":{"value":{"entity-type":"item","numeric-id":5322043,"id":"Q5322043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$B6BDB6D8-DF01-4A38-B611-3413D138EFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19a64279c7339124c96655a136f4ab2fdbbcef4","datavalue":{"value":{"entity-type":"item","numeric-id":3408285,"id":"Q3408285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$635A1E2C-99E9-43D5-8AAB-A30D4B592ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7c975d15bf60d4a428a1a7c3ee641671e8717","datavalue":{"value":{"entity-type":"item","numeric-id":4722052,"id":"Q4722052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$FD72CEFC-4A92-4F4D-BEE6-CFA008A0AA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e1ba0c7535f6977cb5ab115fa0721bba0ed68f","datavalue":{"value":{"entity-type":"item","numeric-id":431687,"id":"Q431687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$60C5F501-6AAA-45BB-806E-FC7CE9AA5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1391b14a0b148d09f34f7b9e3864375a48def02e","datavalue":{"value":{"entity-type":"item","numeric-id":1190935,"id":"Q1190935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$58C4C3DF-64FA-4B18-B469-67D0E03BAC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02775b86cdaf90de0e88b523369066feb8fdcda","datavalue":{"value":{"entity-type":"item","numeric-id":3843662,"id":"Q3843662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$1D56138E-6D6D-4A78-B19A-F9DC51E5ECF2","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":"Q1937744$F9C704BB-F9DD-4675-A9D8-DAE0447F555D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd6ef25288f0e092037d58958ec9e8209f87e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5292700,"id":"Q5292700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$475304F3-FA14-4879-A822-17FDD9BADD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b6757677b102e19941da67f7bac3a4c0f3d92e","datavalue":{"value":{"entity-type":"item","numeric-id":2562922,"id":"Q2562922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$A87F2F4C-2D02-4F15-99D5-A4913B967CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$5D842F05-D9F3-4A1F-8744-6FD00FF4637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b14dbaaac23d57d75ac42bb71e595eb6981802","datavalue":{"value":{"entity-type":"item","numeric-id":599171,"id":"Q599171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$788C4DBE-8EA2-4E0E-A2CF-787FB44BC6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55511a60f9a36c1e30676a120f417ce790c4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4129638,"id":"Q4129638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$910EB0AE-1A98-40EE-9F0A-AD01081EA5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4206d72b2b5b9abec881772943ccda1771fa35d0","datavalue":{"value":{"entity-type":"item","numeric-id":1236190,"id":"Q1236190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937744$1308BE68-71CF-4184-B3FD-36525FE22E00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a389bf7a1af4d37fa1416daebf756b78cc169d8d","datavalue":{"value":"W2086887470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937744$216F8743-E8A6-4CFC-A763-2A5238D683F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a0138480aee4f8ed1c3c1ff6d63aa1e26a61e1","datavalue":{"value":{"entity-type":"item","numeric-id":828114,"id":"Q828114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88be06745c41593216fd4d54106aa71eea37417","datavalue":{"value":{"amount":"+0.7796974182128906","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":"Q1937744$DBB7DD3D-94E6-479F-9630-A43744A78FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c2d86563b2c94432ebae69054e9b7cad590fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1298088,"id":"Q1298088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42111908c173d30dc7b9b3a876f383733498a27","datavalue":{"value":{"amount":"+0.7721205949783325","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":"Q1937744$C4F192BF-6AF4-4F9A-9471-F653F4C924E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05abf45a80858f67251adc58b0ca8c5ddc4175c","datavalue":{"value":{"entity-type":"item","numeric-id":486447,"id":"Q486447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42111908c173d30dc7b9b3a876f383733498a27","datavalue":{"value":{"amount":"+0.7721205949783325","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":"Q1937744$5EAA22EF-AA37-4F0A-9B7B-79A6CC269C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87771ba6bb70e53d49c46ec0f7594a3cc1afb71","datavalue":{"value":{"entity-type":"item","numeric-id":3614651,"id":"Q3614651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc29875a56b3445bb7b6709697f50f7070c380a6","datavalue":{"value":{"amount":"+0.7677605748176575","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":"Q1937744$17891B3E-5854-4AF4-A552-B6B7EE84D5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28515038113bbf140a089ac83d00962677d0b234","datavalue":{"value":{"entity-type":"item","numeric-id":431666,"id":"Q431666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567ae6db0d3a6a4b4c0bc71f791c50c0ebbebbdb","datavalue":{"value":{"amount":"+0.7531647682189941","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":"Q1937744$14520424-244D-4BF9-8337-0AD689209F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1937744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1937744"}}}}}