{"entities":{"Q829755":{"pageid":831603,"ns":120,"title":"Item:Q829755","lastrevid":64657050,"modified":"2026-04-11T21:21:27Z","type":"item","id":"Q829755","labels":{"en":{"language":"en","value":"Truncations of ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7345059"}},"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":"Q829755$AC40F625-1386-47AF-B975-E02D45D57412","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1932bc2c57ed413756a23e8c8841e7eb8f5c52d","datavalue":{"value":{"text":"Truncations of ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q829755$EB81486A-391A-4E4A-BF5B-5EA7C5D74C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cb263c2b0287aab2617ae192007b4a43b14883a","datavalue":{"value":"1478.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$1E293C8D-5914-405D-9071-AB0AB81544C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca22808a31615e9865270125eca59a044d4c4825","datavalue":{"value":{"entity-type":"item","numeric-id":466217,"id":"Q466217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$50F1DCB0-C9C7-414A-B995-5F4275E7603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa36e8e3dceef5252fe3fcb49aa4936c682ff777","datavalue":{"value":{"entity-type":"item","numeric-id":400415,"id":"Q400415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$E8DE9C81-10D9-423D-8A5D-3E5C6A8C367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30de2c0162199f698bb55ab738e0fc8c2acc5ae9","datavalue":{"value":{"entity-type":"item","numeric-id":787960,"id":"Q787960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$D90B4E9C-B974-4AF1-927D-21F1D4556A7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$03CEBC42-BE10-44EF-B9B5-F7B044B49A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"871f9786a8ffdcbd1a1c6ea2da06f791d886ca70","datavalue":{"value":{"time":"+2021-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q829755$86A760BD-18EA-472A-AD1C-E3F3BCF1C69E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46f42c14f7cf5218722e206b943e83131876bd41","datavalue":{"value":"https://arxiv.org/abs/1910.14517","type":"string"},"datatype":"url"},"type":"statement","id":"Q829755$460C8A0E-DAD8-4DB2-9B48-728DDD54C8FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ebea376acf84dc78135973272ec3075f0142401","datavalue":{"value":"Let \\((\\Gamma, \\oplus, \\leq)\\) be a linearly ordered abelian group, and \\(\\tau\\) be a positive element of \\(\\Gamma\\). One can define an addition \\(+\\) on the ordered set \\([0,\\tau]=\\{ \\gamma\\in \\Gamma: 0\\leq \\gamma\\leq \\tau\\}\\) by setting \\(\\gamma_1+\\gamma_2=\\min (\\gamma_1\\oplus\\gamma_2,\\tau)\\). This structure is called a truncation of \\(\\Gamma\\). The authors set sixteen axioms which are satisfied by \\([0,\\tau]\\) in the language \\((\\leq,0,\\tau,+)\\). Among these axioms, four are said to be obvious axioms (\\(+\\) is commutative, \\(0\\) is its neutral element, \\(\\tau\\) is its absorbing element and the order relation is compatible). Associativity of \\(+\\) is said to be less obvious because it is not so trivial to prove it. Four axioms concern cancellation: cancellation holds if the sum of elements is less than \\(\\tau\\), partial subtraction, existence of a minimal complement to \\(\\tau\\), and the minimal complement of the minimal complement of \\(x\\) is \\(x\\). The last seven axioms are crucial, but less intuitive. A structure which satisfies these sixteen axioms is called a truncated ordered abelian group (TOAG). The authors prove that for every TOAG there exists a linearly ordered abelian group \\(\\Gamma\\) and a positive element \\(\\tau\\) of \\(\\Gamma\\) such that this TOAG is (isomorphic to) the segment \\([0,\\tau]\\). Then, they turn to Presburger arithmetic (the first-order theory of the natural numbers with addition). Since the truncation of a linearly ordered abelian group is also the truncation of the semi-group of its positive elements, we can define the Presburger truncated ordered abelian groups, that is truncations of a models of Presburger arithmetic. These groups contain a least positive element \\(1\\). The authors give necessary and sufficient conditions for a TOAG being a Presburger truncated ordered abelian group. These conditions are: the order is discrete and for every positive integer \\(n\\) and every \\(x\\) in \\(|0,\\tau]\\) there is an integer \\(m<n\\) and \\(y\\) in \\([0,\\tau]\\) such that \\(ny\\leq x\\) and \\(x-ny=m\\cdot 1\\). Finally, they prove that the elementary theory of a Presburger truncated ordered abelian group is determined by the \\(1\\)-type of \\(\\tau-1\\). Moreover, any Presburger \\(1\\)-type can occur for some TOAG.","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$BC3A975E-1276-4D95-96C5-61FFBB2E97DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8e50fbf4be56133fc1dd932e3a92f13bab2feb7","datavalue":{"value":{"entity-type":"item","numeric-id":590860,"id":"Q590860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$875391B8-3A1C-4EDE-B6AB-16B352320412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$ECC047C4-46F4-47B9-89A4-219FA6500139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d23f426a1207e798e5066605d68c043bf53ff8ab","datavalue":{"value":"20F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$431644F3-7063-42F8-8E3D-3568E3669F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$5011E9DC-20B0-47C0-9102-5393198270FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$0CBC2F47-8CC4-419C-A7C3-69D83E16D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$36BD1DC4-592E-47A8-9A41-E1BCE618C864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44b10d73a22a7940a810831b20b6489e88dadd3a","datavalue":{"value":"7345059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$0ADA9F4B-2BED-4D68-97D2-ABBCDF74CB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cadde011b134eb4f423f2170d9f1f8ec117ac280","datavalue":{"value":"ordered abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$A48CC65C-FAB8-4F75-B1CE-D4E6A7371FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c50def9a52444ce6725a614dfa8ef0ae105007","datavalue":{"value":"truncations","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$37B1C087-3F6D-48ED-9375-773AAE882F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4c298f3c8d4b3e8822cc2fec146bc65f642f07","datavalue":{"value":"model theory of local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$4EA4C74B-FBBE-4F09-AA5E-4E9531248288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9993f2ffd3e311dfa51eea315f58b8b220e678","datavalue":{"value":"quotients of valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$BB7AE279-A038-4295-BCD3-F105590E91A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d67b74407dea154dd635f39ddde218273ae81b94","datavalue":{"value":"quotients of truncated valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$CE214762-49A3-4D57-BC54-15EE8327D4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49def52e3c3fb9d9aabad08dcbfb26c45031e77e","datavalue":{"value":"semi-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q829755$08E85F82-3B1F-4D13-9C87-C978540942F5","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":"Q829755$9A63698C-47DB-4320-ADFC-31133E864486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"289a329848168ccb269c732bb2fb1aa75fd1514e","datavalue":{"value":"W3151284500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$3BF1D351-D5B3-4347-9792-739956EF21C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6402f05a2f1ea719fe25e91771aef3155678202","datavalue":{"value":{"entity-type":"item","numeric-id":388816,"id":"Q388816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$5D3EEF9E-9DB4-44C0-9B92-C0CD8199CA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$4CFAAD09-1009-4D64-B7BB-4F34E2EB4A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6467cf6ab1ee8750c9d8598af52b8ab1a8728c0","datavalue":{"value":{"entity-type":"item","numeric-id":2636535,"id":"Q2636535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$675141E6-4BFE-4ADC-9B00-D3D6977DAA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c693e283b8a096abfb4903f7005be4bb3122a63b","datavalue":{"value":{"entity-type":"item","numeric-id":3081679,"id":"Q3081679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$2233E871-F75A-49FB-A128-450A81AB6B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18233084b3eac963b72536a1c13e9182e603b7b","datavalue":{"value":{"entity-type":"item","numeric-id":959030,"id":"Q959030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$F16B1298-5B49-4C93-9C7F-3E5A897FB992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492d3887dfe91f103ef3e57c2ed830a645ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":3980089,"id":"Q3980089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$6CDAE695-C901-41A5-9082-1AE5E9D1B304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad4586cc7bf9ad63783f3195e0c6895b0ec4ab2f","datavalue":{"value":"10.1007/S00012-021-00717-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829755$C6BC6DEA-7DDC-4658-8572-D074E4F16442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b76f41dfe0a9cc28355b28cc43e89280c76acbf","datavalue":{"value":{"entity-type":"item","numeric-id":5184895,"id":"Q5184895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e713cce7856acf3543504d18d8479f63da6c1dd4","datavalue":{"value":{"amount":"+0.7048184275627136","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":"Q829755$3365BCDC-5E06-434C-ACDC-0ACDD856C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74fdc7b314f9188b065e497dc6b9be435484b04","datavalue":{"value":{"entity-type":"item","numeric-id":1739164,"id":"Q1739164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674f2cb95935b4e78054828857d20731c97157d7","datavalue":{"value":{"amount":"+0.6936068534851074","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":"Q829755$AC78A243-917C-491B-8BD9-E676E30A5C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3456e8d6bd0935b5d2c767ec753b628da06ca7c9","datavalue":{"value":{"entity-type":"item","numeric-id":998307,"id":"Q998307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04b7f7ac5488651a94b8f1d55c6c8e1e6c62028","datavalue":{"value":{"amount":"+0.6785975694656372","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":"Q829755$F69DBAF6-74AC-4DC2-A730-EEC70BB40A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc5c0a2108f2cfe875b90d64ddf2f156f42022","datavalue":{"value":{"entity-type":"item","numeric-id":1032695,"id":"Q1032695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e9a9d3e98ca6f1032efbea3eda085b1f693296","datavalue":{"value":{"amount":"+0.6779767870903015","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":"Q829755$AF12F92A-CFEC-48D9-8B78-6DA94D12E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65735d388f329b50e8aa5945036251fb1180c35","datavalue":{"value":{"entity-type":"item","numeric-id":3348022,"id":"Q3348022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196e5417a3bf1ca3fff0498b4fd8f74badf4dc89","datavalue":{"value":{"amount":"+0.6736547946929932","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":"Q829755$5F15F5E9-9ECF-4EA1-9F54-80DB0EB90E4A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829755$BDF2A7E4-3B3A-402C-8011-7F74CA151637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truncations of ordered abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truncations_of_ordered_abelian_groups"}}}}}