{"entities":{"Q890022":{"pageid":891870,"ns":120,"title":"Item:Q890022","lastrevid":65148522,"modified":"2026-04-12T00:38:31Z","type":"item","id":"Q890022","labels":{"en":{"language":"en","value":"Profinite MV-algebras and multisets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506242"}},"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":"Q890022$F676920E-BF9B-4706-94C6-6AC73ED65A81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0269c39c2527557b649fe36a563b805e40235b7","datavalue":{"value":{"text":"Profinite MV-algebras and multisets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890022$39CF94C9-7F02-4D45-B72E-3E6A592DF1AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e9c2c3ea817a155d366ac0a06e54ce9a8286e65","datavalue":{"value":"1331.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890022$FF02DBAE-8841-49E3-AA6A-B5B7CC3731B3","rank":"normal"}],"P16":[{"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":"Q890022$2B1C46B1-468F-477A-BCB8-10F703C8B622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$1F22FE3F-1518-462B-A109-92B77252FD08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890022$B8EC7C7B-DB9A-4316-ACB7-B39CA05A3323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c257ba0f50bd8726dffc0f011dd85426641f9760","datavalue":{"value":"https://arxiv.org/abs/1308.4733","type":"string"},"datatype":"url"},"type":"statement","id":"Q890022$A354C731-062F-4BFE-B18A-A8DE63BF88CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32fa5fdf9176732acf06d938e7e65e5de25dc6ae","datavalue":{"value":"\\textit{C. C. Chang} [Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)] introduced the equational class of MV-algebras as the Lindenbaum algebras of \u0141ukasiewicz logic. He then gave an algebraic proof of the completeness theorem for this logic.   Profinite MV-algebras are defined as inverse limits of finite MV-algebras. In the paper under review it is proved that these algebras coincide with direct products of finite \u0141ukasiewicz chains. Also, the category of multisets is dually equivalent to the category of profinite MV-algebras with complete homomorphisms. For background on MV-algebras see the monograph by \\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \\textit{D. Mundici} [Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For advanced topics see the present reviewer's book [Advanced \u0141ukasiewicz calculus and MV-algebras. Trends in Logic -- Studia Logica Library 35 (2011; Zbl 1235.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$403448AD-AEED-4376-B042-BC1EE409DE76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890022$6C55E991-3B42-4AB7-A849-36B2B59B86F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8d96da3f6ecee882f3ba6d053929606933f779f","datavalue":{"value":"6506242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890022$2A33E79A-D4CE-4CEC-9278-9093A39AEACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6468d2cbe1b2cc341a59d4e9e435d05f70d5129c","datavalue":{"value":"finite MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$325516CD-C9B3-452C-9BFE-F84F24ADC157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e025ffdedecbb4c3bbcb4818fc502163ff43738f","datavalue":{"value":"profinite MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$24AE928C-547E-416D-9F6A-F482ECEDD62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a66a7636bd7c5b607d0112def17c3279931092f","datavalue":{"value":"multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$1A529A4B-BD47-4DCE-BF97-73215D426229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc62728f3da45a208be762803dd0928efb0d3e6","datavalue":{"value":"dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$6F395931-2C4A-45EE-9DAA-2B506E2D0C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890022$3DC5D392-1D5A-4395-8DF3-AFFAF9AC9DA2","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":"Q890022$852D90CB-9DD3-40CD-92D9-1507F0166DD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2acce222d61c0e20e704d9fc1f4bee7d9477cfd","datavalue":{"value":"W2022049287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890022$C887B3BD-8D2F-4CFA-A3F4-F95396CF7F90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$F4033BB6-2AE2-45B4-9AA3-2E5B8F083CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$54AB1951-9052-4126-BC7B-11749663D1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$7E8605A7-5FB4-46DA-B2A8-0DBC47CFF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af88455d80994374cb6b9f215e2bfe1b38f1b434","datavalue":{"value":{"entity-type":"item","numeric-id":3134674,"id":"Q3134674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$C463704E-E33C-41E4-A581-5B5356B03B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e5468bd3d5f5ccc3bde789dcf484158e67e35","datavalue":{"value":{"entity-type":"item","numeric-id":1189890,"id":"Q1189890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$C32A1BC5-E836-4980-A960-994F48352525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$5AA7801E-3144-4AA6-B12E-B7BF28CF8807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a390ce09ae657141a08eabf36ab59d542c3f63","datavalue":{"value":{"entity-type":"item","numeric-id":1434764,"id":"Q1434764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$FE59B92F-1E51-427F-8050-1EFDBBA66E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a3e859775552168e18e60c83f7aaa564c3ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3143541,"id":"Q3143541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$ADA5A324-848C-45B6-B9BE-A9F90B2FFB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d0e9d421e5c97126a5d1cb3163a2fc0dd3402e","datavalue":{"value":{"entity-type":"item","numeric-id":1362585,"id":"Q1362585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$FFEC365C-10E4-4A9A-8D52-E5CFCCAD965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f5a2e66bdfc72cd09ef5fe70c13bda5858ceaf","datavalue":{"value":{"entity-type":"item","numeric-id":1827771,"id":"Q1827771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$C13E49B5-EBF2-499D-B30B-ABC71A47C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f9224b25c79b271bbb04a0cd915c6285b5bc46","datavalue":{"value":{"entity-type":"item","numeric-id":5406037,"id":"Q5406037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$F0606C40-3434-45F0-9749-6C2CA906C665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087b9ef3cf482aef36e84f72f17c720c5a188849","datavalue":{"value":{"entity-type":"item","numeric-id":3869357,"id":"Q3869357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$72BBE2F5-63D3-414D-8781-C6733508CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec8df919ee2e983bed7da0a1c553427f7697f84","datavalue":{"value":{"entity-type":"item","numeric-id":1384202,"id":"Q1384202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$BE2BADBF-B3E9-42B8-AA1B-430E4276A58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$C6FBE794-558A-49BE-8E43-2F8996770024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890022$1AE3054A-EDAE-42C0-8EEC-D07E3BF31FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7afce887de44d3ca0ddbb828771c36521729cdcf","datavalue":{"value":"10.1007/S11083-014-9345-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890022$A03B5B55-2275-4CCE-80F1-8C064F8FE73D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4c1178fe37498433f1c9a30e44e50cf5bbcd69","datavalue":{"value":{"entity-type":"item","numeric-id":4623048,"id":"Q4623048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25223fd41ad56578b65c125243039175542c15e0","datavalue":{"value":{"amount":"+0.8223177790641785","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":"Q890022$EF779A94-96EB-4A20-AC6B-4ED74D6D60A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6f4856ffa63309d5413439ba056d4b762473fc","datavalue":{"value":{"entity-type":"item","numeric-id":5065668,"id":"Q5065668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f281bab08c8f55cc2d98e57b581de9683f0fd10","datavalue":{"value":{"amount":"+0.8064650297164917","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":"Q890022$2CB11F73-DD9D-4CDE-A6C2-1A994F342EFE","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":"33bf791976e5eb3a52a2390c4122699973401f21","datavalue":{"value":{"amount":"+0.798005998134613","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":"Q890022$C3B70285-DAA3-4532-874E-5BF744E82AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d6d4a2d5754e8fe8ef0948b8fe4b1665d1e4aa","datavalue":{"value":{"entity-type":"item","numeric-id":1434764,"id":"Q1434764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa49f6823978df0616022c0683e5268cfc921657","datavalue":{"value":{"amount":"+0.7969340682029724","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":"Q890022$F40FE51C-3837-44FE-B576-DAC99E1A46FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cb109d3389500ae60162a6dd43af345e4c751f","datavalue":{"value":{"entity-type":"item","numeric-id":835129,"id":"Q835129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251c2190d48e9afffcc5ef1d84404adfed2b5aae","datavalue":{"value":{"amount":"+0.7927932739257812","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":"Q890022$F970BE4E-DC70-4D6E-B565-7249A8F40A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Profinite MV-algebras and multisets.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Profinite_MV-algebras_and_multisets."}}}}}