{"entities":{"Q2580960":{"pageid":2591703,"ns":120,"title":"Item:Q2580960","lastrevid":48627667,"modified":"2026-01-05T10:43:56Z","type":"item","id":"Q2580960","labels":{"en":{"language":"en","value":"On pairs of free modules over a Dedekind domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245415"}},"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":"Q2580960$68905695-BCD9-429C-BF9B-98077146FCB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23555d9e5c1419721c7bfe77f6d70d07479ba9c4","datavalue":{"value":{"text":"On pairs of free modules over a Dedekind domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580960$A1853F5A-DBD7-40FE-A71A-34B38D7427AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5ebbb2b3d28ce94c6f3cd5fac4f01ca3d25ddec","datavalue":{"value":"1094.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$FBC3A5CB-71C9-4F10-A1C5-84FF842FD5D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$001FC3EF-8F21-4252-B645-D7D42470C6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$4CB5DDC4-C0BB-4837-9D17-26D75ACA78C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$B1299A74-5422-44C8-A2F5-9BC4FE10FF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-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":"Q2580960$D1C07B22-0EF3-49C5-AE3D-7654F6EFB7E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f2055fd360b0149a46609554890ffd160d9f1db","datavalue":{"value":"From the authors' introduction: ``The purpose of this paper is to study pairs of free Abelian groups or, more generally, of free modules over a given Dedekind domain \\(R\\) from a model theoretic point of view.''  The authors begin with a new proof of Ziegler's classification of indecomposable pure injective pairs \\((A,N)\\) of flat modules over a Dedekind domain \\(R\\). In the heart of the paper, they consider the first-order theory \\(T_ 1\\) of the pairs \\((F, F_ 1)\\), where \\(F\\) is a free Abelian group and \\(F_ 1\\) is a subgroup of \\(F\\). It is shown that \\(T_ 1\\) is co-recursively enumerable. Finally the authors show that the extensions \\(T_ 1^{\\text{div}}\\) and \\(T_ 1^{\\text{tf}}\\) of \\(T_ 1\\) are decidable. Here \\(T_ 1^{\\text{div}}\\) is the first-order theory of the pairs \\((F, F_ 1)\\) where \\(F/F_1\\) is divisible, and \\(T_ 1^{\\text{tf}}\\) is the first-order theory of the pairs \\((F, F_ 1)\\) where \\(F/F_1\\) is torsion-free.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580960$748014BF-D64B-4FA5-BAFD-58DCEF28D54D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$8E14D660-475F-4E2E-A154-E72457921526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$1F346AF1-0959-4C6E-AC6A-EA9695F6D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a7e67a2561ebefb856e913da9b63666419f7e30","datavalue":{"value":"16B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$46B0DE23-F101-4E3A-9CBE-6436283D22C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9df20ef99ccedd64e532fced8060df0d3dc3bfa","datavalue":{"value":"2245415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$E84B8D61-41FA-46D9-BE33-35359107CA60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580960$1AE32F38-736E-4123-B7B2-AC08A5190AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580960$4448B4D3-DA04-4C6B-82D4-230A31B03B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c378a4377a7da9bebacd3a653fb4a2af931f22","datavalue":{"value":"pairs of free modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580960$81D42BC4-6DA4-412A-B761-86E4195CCA52","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$34A788B7-4857-4DA1-B4C9-63D308DC5D68","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":"Q2580960$5D8219EF-D414-4032-A9E4-D4A04A3BEEF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7451d98aeb5e1f2bafee9d12f5a2a0e387529f66","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0311-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580960$4820348F-3E80-4523-9194-647AB07BA80B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e79b7efb680de7540fb858a3d63df00b1449c62c","datavalue":{"value":"W2046755831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$B52CB8FD-F040-49B9-B441-0BE9F4540B86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f59e89826bb6969829727a004fcf1f9feae4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4093433,"id":"Q4093433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$3686228B-5932-41A8-90C0-B93C33D1848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8058da791e8026c46f881c358c24ec3b7eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3900015,"id":"Q3900015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$29E475AB-6795-45A6-837D-D4CCCBEFC366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e444f360bd9a626f8cb7ce178ac0bb9a3de8169","datavalue":{"value":{"entity-type":"item","numeric-id":3152289,"id":"Q3152289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$16EAE381-A3AF-4F58-B699-88DE3D289E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d75bd532a5333c6f831b278eab225fbe3cf2c99","datavalue":{"value":{"entity-type":"item","numeric-id":5725727,"id":"Q5725727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$2617006C-28F2-407D-A86C-664C3F6E0695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dffe2ad36086ba8f05c14266033179c98e9cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4276556,"id":"Q4276556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$E7691E03-85AE-4736-87A1-A89B93C49D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d434039d505f006ea5c06f7c603059e6c65c4dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3820814,"id":"Q3820814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$B609DA20-574F-4AB1-BAA7-78814A690DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4b1cbfd3495596a05d24e2da4ddf39d6c0eec7","datavalue":{"value":{"entity-type":"item","numeric-id":4039792,"id":"Q4039792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$36D5F5F0-04DE-487C-99C0-0E9C749E39E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41d366da6123395b3e088dbdf81cf068b5d7dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3819050,"id":"Q3819050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$762C384F-28C4-4FD1-9C4F-CDDC5908FB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093d28797cb4aff12efc3548699ad54058185b18","datavalue":{"value":{"entity-type":"item","numeric-id":3958440,"id":"Q3958440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$367C2A85-CFF1-4CB9-B6A9-A2CBD9E370F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8d32ace895c427e29b78e94186fecf35541068","datavalue":{"value":{"entity-type":"item","numeric-id":1815560,"id":"Q1815560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$47EBA090-E1D2-4B1F-86B7-C863963A8BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9c1654d45746314251987759691016e5c8bc08","datavalue":{"value":{"entity-type":"item","numeric-id":1076118,"id":"Q1076118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580960$3BFB94E0-D3CC-4F96-AA2E-74E145D51BDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1ad9d6eb3fe114822368b57f9fb486c4c444981","datavalue":{"value":"10.1007/S00153-005-0311-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580960$E59EE615-D019-48C3-9D62-DE706A869857","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28275e7c8d883e98da7ec499dfb145c368c9894a","datavalue":{"value":{"entity-type":"item","numeric-id":1921663,"id":"Q1921663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894823b886a3f87641fdc18971fbd3d7345f863d","datavalue":{"value":{"amount":"+0.7226602435112","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":"Q2580960$3F24FF1A-5565-4B06-B6B8-ADC139D5107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c451396b4a3364cccf1e84e7647b3185c1c216","datavalue":{"value":{"entity-type":"item","numeric-id":2918682,"id":"Q2918682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba817e0a511c6caa973890fac14fe16850c097a","datavalue":{"value":{"amount":"+0.7088309526443481","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":"Q2580960$9A715A22-84E1-4227-88F7-5CCD70C13604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d445f18793b8b887be86592290027e7b622d469","datavalue":{"value":{"entity-type":"item","numeric-id":3109255,"id":"Q3109255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154defbbb4ed1ee6a7c2d07efbc413a89dbfca67","datavalue":{"value":{"amount":"+0.7074171304702759","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":"Q2580960$8E884235-1002-4112-977B-92F1C2A235CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171a76d4ccfba97c38ff92a58e39b66564b877c5","datavalue":{"value":{"entity-type":"item","numeric-id":3708886,"id":"Q3708886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7189a31dc1a4142eb1ad4d9fd4fa3f76be67dd6","datavalue":{"value":{"amount":"+0.7055724859237671","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":"Q2580960$FF895E69-3EF0-41EC-85CC-3AC20DC878F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6558026e7116e83f4e49faf99fd16eff588ac8b","datavalue":{"value":{"entity-type":"item","numeric-id":4623047,"id":"Q4623047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8d67a99f66c35fd5b11841980e939da9c5cc0a","datavalue":{"value":{"amount":"+0.6933987736701965","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":"Q2580960$D2EC65B1-7EC0-4562-AE35-7F4BC89A11FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580960"}}}}}