{"entities":{"Q1125919":{"pageid":1136668,"ns":120,"title":"Item:Q1125919","lastrevid":66474312,"modified":"2026-04-12T10:18:33Z","type":"item","id":"Q1125919","labels":{"en":{"language":"en","value":"Coproduct MV-algebras, nonstandard reals, and Riesz spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 954774"}},"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":"Q1125919$94852D22-D3DD-47EC-876B-74EA598BF32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69fb0dc0174b8f1ca17250da640ae5bc457fa09","datavalue":{"value":{"text":"Coproduct MV-algebras, nonstandard reals, and Riesz spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125919$F2735843-53A1-4820-AECA-23E78CC0CF2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96ae3d9da2a6f9203e7ca9197ede9c3ca023c27","datavalue":{"value":"0864.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$3D3EBF99-9681-4C95-B740-422E4E07A3F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3e9abde1830e56d26b27840eec5cf946c4acc1","datavalue":{"value":{"entity-type":"item","numeric-id":582307,"id":"Q582307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125919$7BB95C16-BE0C-463D-A334-3EE940F1C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125919$F495F44F-224A-4731-8319-A1D54DD42861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125919$5A8C8C94-04F6-45D4-9654-EB6D7E89F5BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbc3a7777188fe4c91569d7edf107d3f1dba04b0","datavalue":{"value":{"time":"+1997-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125919$D0A5E3A6-7C13-40FF-A88C-F0AAE4387098","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cc6f67d674fc82bfc685be8806f56345b60b4b1","datavalue":{"value":"Introduced by C. C. Chang, MV-algebras are the Lindenbaum algebras of the infinite-valued calculus of \u0141ukasiewicz. They can be defined by a small number of simple equations, capturing the properties of the real unit interval [0,1] equipped with truncated addition and rotation around 1/2. As proved by the present reviewer in his paper ``Interpretation of AF \\(C^*\\)-algebras in \u0141ukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], MV-algebras are categorially equivalent to abelian lattice-ordered groups with strong unit. Suppose \\(A\\) is an MV-algebra having a unique maximal ideal \\(J\\). Thus, as a consequence of H\u00f6lder's theorem, the quotient \\(A/J\\) is isomorphic to a subalgebra of the MV-algebra [0,1]. Let \\(B\\) be a totally ordered MV-algebra, and \\(\\text{Rad} B\\) denote the unique maximal ideal of \\(B\\). Let \\((\\text{Rad} B)\\) denote the subalgebra of \\(B\\) generated by \\(\\text{Rad} B\\). The authors use nonstandard real numbers to give concrete representations of those totally ordered MV-algebras that are isomorphic to the coproduct of \\(B/ \\text{Rad} B\\) and \\((\\text{Rad} B)\\). For more information on MV-coproducts see the reviewer's paper ``Free products in the category of abelian \\(\\ell\\)-groups with strong unit'' [J. Algebra 113, 89-109 (1988; Zbl 0658.06010)]. As an application of their representation, the authors discuss the MV-algebraic counterpart of vector lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$05EFBA33-7CD5-4D27-AFC3-9C439556DF84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$763BA52A-E05A-4DE6-83AA-A76670DD1682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$763CCA99-927E-4698-B77B-88E488CCF9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$B04ED8A4-BAE4-4ED2-89EE-0E9B21920B15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f776678755240974d8db99cf46674e3f5397c076","datavalue":{"value":"954774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$7A02C2FA-1369-435C-89E4-237362EF8D99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d594b36a16680b3c97f7bbac433b675a708b6f77","datavalue":{"value":"gamma functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$9D3FC436-90A5-41AF-B4E7-F9AD576447FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a561e24d4844518211ec70659116051fff02480f","datavalue":{"value":"nonstandard real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$4105C281-AC99-4FFA-A34D-69B08B01B246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$78177EB9-9494-4AD3-8A93-7DC07F3A1836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab4a14f3f4d32c5d91afe93d3335c51e6474448","datavalue":{"value":"totally ordered MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$25FAE973-05AE-44DD-8B41-93CABF26CEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$0350CB42-05A2-4BB0-BABB-140C3635E14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71affcaf6006fa0d1835a7c4ef90faff402841a1","datavalue":{"value":"vector lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125919$F44C4C70-E23C-4048-AC7B-5BC77F3B0B40","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":"Q1125919$D1510717-3E16-46E6-BB91-778FBEAEB72C","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":"Q1125919$0EBA1915-51AA-401E-AE2C-A47EB189E9FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f10f6654ec5d0fac02459b534fc6055c0d2574b","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0342","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125919$B1DDBBF7-3C5C-48D9-8D39-6937E1C1E54E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a26b06fa323277e9eb87751056af4aeb1909701","datavalue":{"value":"W2025885789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$0D6211C8-1BB7-47B5-9F2D-1D7F447E3FA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f297e2227ea4285ff44e7483ad15003dafeb749","datavalue":{"value":"10.1006/JABR.1996.0342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125919$34AF6627-225C-42B5-8F3A-58F90693CD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090c7dc3df9ad5c78300e97a77080c890edf76e6","datavalue":{"value":{"entity-type":"item","numeric-id":5687416,"id":"Q5687416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5179f91284b0749d3f9255a51b0b6b629ec524","datavalue":{"value":{"amount":"+0.90712893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$D813054C-A0C6-41E7-8311-BC35C963504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ca823b604565c70c93622fc397c2445d3bbd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1185226,"id":"Q1185226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6aefdd1416dd9002028f5134e5a099a836e83c","datavalue":{"value":{"amount":"+0.90443814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$67B9BF83-97D9-474C-9EA8-DA51949D77BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43864e76dbed3f2a4afdef7b1b825f0a58f8f040","datavalue":{"value":{"entity-type":"item","numeric-id":4699340,"id":"Q4699340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94485866a02e3bd34b7be549f8393d7c6d96e71a","datavalue":{"value":{"amount":"+0.89771783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$60B8F725-E7FC-410F-9458-343A2DEDB6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989814f7208a6cf87ade34152eb953051465c431","datavalue":{"value":{"entity-type":"item","numeric-id":4461656,"id":"Q4461656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609650d30c84f154bcbe4b6eff23c396eeb8a16b","datavalue":{"value":{"amount":"+0.8605526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$1DA7324B-9EB3-49DD-A701-E8898045DFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d710e8ce4a583d4e74fe6c6febdd3e47547a252","datavalue":{"value":{"entity-type":"item","numeric-id":1337605,"id":"Q1337605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a8927dd316bb20b1dd2c1cc964a737237f5031","datavalue":{"value":{"amount":"+0.8494013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$2D084BCF-9A5B-4076-9411-CAD09C26FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e77459ba66381057ba7914a791175254b996730","datavalue":{"value":{"entity-type":"item","numeric-id":976749,"id":"Q976749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d86338154169a80e7e17a8eca70e858ca8c0cb","datavalue":{"value":{"amount":"+0.8401776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$399A6BCD-0AFE-4FC9-93C1-2C5E99742AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0482970ab4b9bc616ef9b8d7a16e2fc8cbc9c79a","datavalue":{"value":{"entity-type":"item","numeric-id":4804660,"id":"Q4804660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc645ee47685463691b9f90cf9a08f70e1c9108","datavalue":{"value":{"amount":"+0.83350843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$0A5053AA-2827-47DC-AECE-76C5A085F3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e843efafc15cf354f1dbbc39c8601beee9ec4867","datavalue":{"value":{"entity-type":"item","numeric-id":976750,"id":"Q976750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5670dbea05bed0f8dea91f85d54360ee660c9865","datavalue":{"value":{"amount":"+0.831059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$3EB0A2C1-27E8-464E-99AA-11D324A7E1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b7cef5cbafe64dc4026e979fd8e2be5f7aec35","datavalue":{"value":{"entity-type":"item","numeric-id":3807181,"id":"Q3807181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52828c1fd15e2f861a8603e3c8892b8379a75bf","datavalue":{"value":{"amount":"+0.82352185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$545CECFE-5529-4028-B033-2FB63E9BCAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d21b5807d81f5af773d3606e0ea5c67dfc0491","datavalue":{"value":{"entity-type":"item","numeric-id":3653334,"id":"Q3653334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879cb14b27808c559ae867b9f16185e9540c5f4a","datavalue":{"value":{"amount":"+0.8226665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125919$B747B833-D0F2-4CFF-8F75-DBC3C63DB707","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coproduct MV-algebras, nonstandard reals, and Riesz spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coproduct_MV-algebras,_nonstandard_reals,_and_Riesz_spaces"}}}}}