{"entities":{"Q2828629":{"pageid":2839367,"ns":120,"title":"Item:Q2828629","lastrevid":52657463,"modified":"2026-01-23T05:09:53Z","type":"item","id":"Q2828629","labels":{"en":{"language":"en","value":"The Chang-Mundici's \\(l\\)-group of a BL-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6643470"}},"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":"Q2828629$D3A7F009-6026-4194-A14E-5F940433AF4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3abd6a3515cf4062272e48b69b45e2d5628df0a","datavalue":{"value":"1357.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828629$02B909B9-0004-43EA-965E-668508E6EE64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e20e4333845b65b5346333c3863b0d76a3154b","datavalue":{"value":{"entity-type":"item","numeric-id":301362,"id":"Q301362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828629$E2D98DA5-2712-475C-9869-4493F76EA791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15eb057c1db34c7a529909e11bf93c2145a196f7","datavalue":{"value":{"entity-type":"item","numeric-id":301363,"id":"Q301363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828629$E93B286C-592B-400D-B558-84727F545E7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574adb538516c2b7c4431a66143362574f3a0d0","datavalue":{"value":{"time":"+2016-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828629$F9023C67-46DB-4D7D-9BB6-4E6F7AD68A3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828629$AAF85957-1B5D-42A0-8A6F-5337D0E59A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828629$4AF4E15E-F3C9-41F5-9A95-825A4C9F61D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828629$FCF9846F-FE4C-4A50-B871-3E3A738C466E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acdcc4a2af52a9d9562aa5da55896703ab770b8","datavalue":{"value":"6643470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828629$642071EF-DB26-4038-AF9F-5A9AB7978058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$ADB2E1C7-2BF1-4F37-A616-B585B1278CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a03a178d464ee4ad57dbf9b27cfd6a56128f26","datavalue":{"value":"\\(\\Gamma\\)-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$C30B84EA-9C01-460E-A91B-2388FA219FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2f5bae978b83ce937770b4d0e6269c5e79a2f7","datavalue":{"value":"Mundici functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$06E4249C-04A8-4281-86BF-16F6C08ABA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40b35d5660059d1c5595b24b1e6a0ca03fdc625a","datavalue":{"value":"\\(\\Xi\\)-functor Chang group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$76AD6478-2F66-4A6A-9552-5971B2CC4AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$9AC46B94-3850-43A2-9706-6A860EE5A042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3f20170fa4dced255dae092befa6423ee67afd","datavalue":{"value":"\\(l\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$7FDF4AC0-6C77-4B7F-9F63-7FFF4670FDA9","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":"Q2828629$A7CE068F-4438-4067-8AB8-B25117B7866F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1875ea8749ba04dbcbe65f6bad281dfade1dc02f","datavalue":{"value":{"text":"The Chang-Mundici's \\(l\\)-group of a BL-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828629$46D08DE2-339E-4613-8137-3256149C05DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff13492d09c80c19f4228cc55f69e63742454364","datavalue":{"value":{"entity-type":"item","numeric-id":6551723,"id":"Q6551723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828629$8ED0EF7F-F90E-451F-8ECC-28D18A8FC0F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af7c18a85cfbf90c436f24d2adb1078ef27d9936","datavalue":{"value":"In his paper [Trans. Am. Math. Soc. 93, 74--80 (1959; Zbl 0093.01104)], \\textit{C. C. Chang} showed that every MV-chain is the interval \\([0,p]\\) of some totally ordered abelian group \\(G\\), with \\(p\\) a distinguished positive element of \\(G\\). The element \\(p\\) need not be an order unit of \\(G\\); uniqueness issues and functorial properties have no role in Chang's proof: for, his main concern in the celebrated paper was to give a model-theoretic proof of the completeness of the \u0141ukasiewicz axioms. In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)] (unquoted in the paper under review), the present reviewer established a categorical equivalence \\(\\Gamma\\) between the variety of MV-algebras and lattice-ordered abelian groups with a distinguished (strong, order) unit, for short, unital \\(l\\)-groups. Let \\(\\Xi\\) denote the adjoint functor of \\(\\Gamma\\). The authors extend the (object fragment of the) \\(\\Xi\\) functor, by equipping every BL algebra \\(L\\) with a unital \\(l\\)-group \\(G_L\\) which coincide with \\(\\Xi(L)\\) when \\(L\\) is an MV-algebra. The main tool is provided by a suitable variant of the ``good sequences'', also introduced in the present reviewer's paper [loc. cit.]. For background on MV-algebras and proper credits, see the monograph [\\textit{R. L. O. Cignoli} et al., Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828629$8FDF9144-7A9A-4A1E-8EC9-AB47DF9D8CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828629$82215564-5FAA-416A-A2B0-522C602E81AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9ff44fa593f9cb692779026ca3f57fbe122a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2439669,"id":"Q2439669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fa94277ea5508061597414aed77e41c44c190b","datavalue":{"value":{"amount":"+0.8622292280197144","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":"Q2828629$4959F221-A6A9-4057-8949-FC031FD07972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596adfedddb2ca84fcf4d4256450834ccc10a5f1","datavalue":{"value":{"entity-type":"item","numeric-id":495838,"id":"Q495838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46b1eff4e60e3960dce10f696b1025d78eee9cd","datavalue":{"value":{"amount":"+0.8558205962181091","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":"Q2828629$7735E1CF-D13D-42F1-B65F-41D234B60604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc9e291421fcd3a3a67ebcd4af90cf169d49e84","datavalue":{"value":{"entity-type":"item","numeric-id":1580661,"id":"Q1580661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5309ff392b45ef47c50f70d2af00da6a51191d2f","datavalue":{"value":{"amount":"+0.8420379161834717","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":"Q2828629$2D32AFB6-2628-48AC-8C8E-4C3820FC5A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5de97e330b4ee4d8a27594d5b769d2f7f921fed","datavalue":{"value":{"entity-type":"item","numeric-id":2016065,"id":"Q2016065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5309ff392b45ef47c50f70d2af00da6a51191d2f","datavalue":{"value":{"amount":"+0.8420379161834717","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":"Q2828629$A332F2E7-C156-48C9-8C50-E177B7706FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce2e50c32e62894b7f487f581e6b79e6b6bb122","datavalue":{"value":{"entity-type":"item","numeric-id":763298,"id":"Q763298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b3c5eb5c4331e5394eaaa0458eace621d76514","datavalue":{"value":{"amount":"+0.8297514319419861","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":"Q2828629$42C3F7BD-568E-41B9-BB38-FEE3D0A9CC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828629"}}}}}