{"entities":{"Q353357":{"pageid":355124,"ns":120,"title":"Item:Q353357","lastrevid":61185039,"modified":"2026-04-10T21:43:01Z","type":"item","id":"Q353357","labels":{"en":{"language":"en","value":"Equational type characterization for \\(\\sigma\\)-complete MV-algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6187514"}},"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":"Q353357$FD744DEA-8761-4F36-A9AD-378AF7956369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2f9d7a34e3b96f78731c75ad68498734f681082","datavalue":{"value":{"text":"Equational type characterization for \\(\\sigma\\)-complete MV-algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q353357$BFB14247-69F3-45CF-B3DD-2868962A1EE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b56ddd8994ab10e91c2b6f7b458301e7532384bb","datavalue":{"value":"1322.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$3D2A2917-E2CC-4E8B-B62C-77C2F6DF5C70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c2444773506a2d149a5400455ba0bb355fc463","datavalue":{"value":{"entity-type":"item","numeric-id":353356,"id":"Q353356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$1633199D-5D28-4BDC-9338-E0CB3CAEA29E","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":"Q353357$05E6952B-0ED4-4368-9ADE-1CDFB90E8CC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7648b60b59954b2d001592c2d3cc73e7f7fb262d","datavalue":{"value":{"time":"+2013-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q353357$E263A2BE-1DCF-4C48-9DF0-CE141F41E13F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"421961d97dc532ed041363be2c271b5255f552aa","datavalue":{"value":"The paper studies \\(\\sigma\\)-complete MV-algebras. After some preliminaries on universal algebra and MV-algebras, \u0141ukasiewicz tribes are studied in Section 4. Every \u0141ukasiewicz tribe is a \\(\\sigma\\)-complete MV-algebra, and can be considered as an algebra with an infinitary supremum operation, that is, an MV\\(_\\omega\\)-algebra. In Section 5 it is proven that MV\\(_\\omega\\)-algebras and \\(\\sigma\\)-complete MV-algebras are essentially the same, so the former are an axiomatization of the latter. In Section 6, MV\\(_\\omega\\)-algebras are viewed as MV-algebras with storage in the sense of Montagna. Further results concern the variety of MV\\(_\\omega\\)-algebras. Of particular interest is Theorem 10.2, to the effect that the MV\\(_\\omega\\)-algebra \\([0,1]\\) is equationally complete. Similarly, Theorem 11.3 gives equational completeness for the two-element Boolean algebra among \\(\\sigma\\)-complete Boolean algebras. In Section 12, a kind of infinitary MV-algebras with product is considered, and one more standard completeness theorem is given (Theorem 12.9). Finally a result on (the absence of) injectives in the previous varieties is given in Section 13.","type":"string"},"datatype":"string"},"type":"statement","id":"Q353357$F8EE6426-1D16-497A-9A4D-D4F5ECBE5E61","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$FCDF50EA-0C8B-4A0B-B116-35777862E98B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$B72A6DED-8D71-4F72-902D-92899F89C2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$B5572780-345B-4AB7-BFD7-AA4B363B95F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e86cf575eae3b4b3b65d1279dae43fed7a6b587c","datavalue":{"value":"6187514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$C237A5E0-3E51-4404-9542-8F138DAAB092","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1745a5cb43c12b1d49db4b8f00c0084a183df3","datavalue":{"value":"\\(\\sigma\\)-complete MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q353357$862EE9AF-03BB-44A3-B365-0FA7F438D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44d6668b63bfdb3a0c7c918edf7bf28c5ac651d","datavalue":{"value":"equational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q353357$E63A5742-45B8-4FF0-903F-0917CCBCFD67","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":"Q353357$03027A4B-D798-4E89-A3A8-148E4E94AB47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecab11c17c69848ddb5493441c3b2ed56d0b1aee","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0220-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q353357$AA1857BD-3AD9-4624-9279-5D4558BE5BEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61b7bc2be6614e82c5a4b7cfdf11aa27d8618e43","datavalue":{"value":"W1975163229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$7D799925-D08B-4D81-B850-5E813ED9CE25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d84a6add4cee5933beb55cbadc9b9803aa22700","datavalue":{"value":{"entity-type":"item","numeric-id":4836215,"id":"Q4836215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$C2A2816A-AD17-46B5-879E-3343FCAED4AF","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":"Q353357$ECD95CA9-EC44-4C59-AB55-C13DC4A58C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$06E54784-548E-4A2C-9B5C-2CA2661B4B9A","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":"Q353357$90FED047-83D3-479C-91B8-DF950A7E3DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7167376c4552a92938cc8b9d76f02c1d2342e7","datavalue":{"value":{"entity-type":"item","numeric-id":3508714,"id":"Q3508714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$691763ED-A6EC-40E2-A5CD-18FA7097EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283a6f17855b2c2a03a6227b98ea71fb3a39c735","datavalue":{"value":{"entity-type":"item","numeric-id":4542639,"id":"Q4542639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$0F6389AA-29AF-4804-97CC-885C30021FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6e8a04c69cd16772899b001f30751c70dfa49a","datavalue":{"value":{"entity-type":"item","numeric-id":5694316,"id":"Q5694316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$3326C75F-0987-4F2C-8ABF-D22F73BE2D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72902d912bfa384e7ac1417fd8ea14686d16d16f","datavalue":{"value":{"entity-type":"item","numeric-id":4954287,"id":"Q4954287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$4210CD30-1871-4233-827A-57254B4048FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d2f9ce2869e2f2e77019bfea4c2a1d75848e36","datavalue":{"value":{"entity-type":"item","numeric-id":4510915,"id":"Q4510915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$D2C03D03-F8FD-4BF1-9464-C0FDC5DFCFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$70FB8D77-40D9-433B-91A8-F3B7F2F7B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38892dbf0a2c9de31eb6b097ce5d32da71e78b44","datavalue":{"value":{"entity-type":"item","numeric-id":3283956,"id":"Q3283956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$D48A4544-47C3-4AF3-A456-28DA5518D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$E57BB829-D054-488C-B966-22AB1E6FB3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$660C3CAC-3107-49C6-851A-FAC6A819F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc5e0def89d29d50e2faebc8f9ce17e86fd467","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$887DDBA8-A8B6-4742-8B7E-73AADE2C5677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc82da5c1d78a2ba1efbddfb1289a6eecabf01e","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$6B7A7F5A-46E6-4DC5-AA14-33D11DFAC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c4122ef231f7a4da9a4f30a0ef097167df87a9","datavalue":{"value":{"entity-type":"item","numeric-id":5790811,"id":"Q5790811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$7BB31219-4BEF-42AA-9968-F35C6A09AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e847a9c6a88451631178d52027ada49fcb99d896","datavalue":{"value":{"entity-type":"item","numeric-id":5545535,"id":"Q5545535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$4F824ED3-2CF1-4916-881F-1E4516302FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572e8490a78cd2d809768fb177c7ba8e6e7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":1971782,"id":"Q1971782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$43B70261-3292-4036-909D-02FE629B30BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f724bc6d898f4e33a601faf4329f1d7a90ca18c","datavalue":{"value":{"entity-type":"item","numeric-id":5936152,"id":"Q5936152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$45A38794-2AFD-4FCA-B950-DDE691343BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541d15e792bedb1ccc47ccd14760e3320ad8c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":4820469,"id":"Q4820469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$11237505-1C86-4F57-A025-6479E60A6E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661c599dd5256d99b1c55541a3f3302a44b267","datavalue":{"value":{"entity-type":"item","numeric-id":1291066,"id":"Q1291066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$B7029C7F-660B-451A-B33C-37989261426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1736e0e463d54c08951780f6795acb7531fdf4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4788820,"id":"Q4788820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$33762B16-3BCC-4938-9B4D-D6D4F1A96460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a898b7c253f66474efbb6f1144b23dc3d2952ece","datavalue":{"value":{"entity-type":"item","numeric-id":5735229,"id":"Q5735229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$87EE8CA1-82B0-4BA5-8B00-4ED03D3F72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a66f977a9067caa8ea4511ccad9b36fa3b601e","datavalue":{"value":{"entity-type":"item","numeric-id":5567917,"id":"Q5567917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q353357$853A0B78-DE26-4194-8CBA-0DB7A6D02B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80f04e9b70a284e524fe91c2351ed6c3af56d795","datavalue":{"value":"10.1007/S00012-013-0220-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q353357$D002D277-0C88-43F5-B4E6-A18D8CB36CA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cdb974b16e9c8d3c518d9041052aa38d5ae1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5694316,"id":"Q5694316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f34fa97ae8e243f9a96519fefd2564a69b9997d","datavalue":{"value":{"amount":"+0.8266912698745728","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":"Q353357$353CFFCC-ADBD-489F-AD8A-AB6F12FFE683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8305434087a4eb00aa3e9e853118a970fd12e7f6","datavalue":{"value":{"entity-type":"item","numeric-id":4515324,"id":"Q4515324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de118b8cd98c764cb8960c93007bf32efbb8eb44","datavalue":{"value":{"amount":"+0.8262552618980408","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":"Q353357$D2393A07-372F-4821-BAE7-2139FE5FCF94","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":"bd9573568f68f18ddf3631e8dc6c77b157732454","datavalue":{"value":{"amount":"+0.8095890283584595","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":"Q353357$B056E78B-3429-4572-BE14-EE6C5258EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1face7c17fd4ba9436d169c0bf62d817becbb731","datavalue":{"value":{"entity-type":"item","numeric-id":3435579,"id":"Q3435579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a2ac1ee77a762ba201804d055fb6604ed20481","datavalue":{"value":{"amount":"+0.8063502311706543","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":"Q353357$9EE8F125-66D1-4201-BFF0-667DDB7D8B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4395f70c23267952a0bac420ac8b74861f2912","datavalue":{"value":{"entity-type":"item","numeric-id":4954287,"id":"Q4954287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a49c4ace55db81cee44ed3307ec81e03f421ec1","datavalue":{"value":{"amount":"+0.7949474453926086","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":"Q353357$B81AE412-986D-4E37-A827-89881795A49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational type characterization for \\(\\sigma\\)-complete MV-algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_type_characterization_for_%5C(%5Csigma%5C)-complete_MV-algebras."}}}}}