{"entities":{"Q1185226":{"pageid":1195975,"ns":120,"title":"Item:Q1185226","lastrevid":70761543,"modified":"2026-04-13T16:39:00Z","type":"item","id":"Q1185226","labels":{"en":{"language":"en","value":"Semi-simple and complete MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37901"}},"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":"Q1185226$26D183D1-46B3-451E-B0C6-359D3A3C957A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e1d7089b21727801b4e9832f3429abae00b879","datavalue":{"value":{"text":"Semi-simple and complete MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185226$3A470749-5BD4-4BF5-B071-A160CB1F4957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a46dea40957d6c1ab6944ce328685d55a523dbc","datavalue":{"value":"0756.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$82CDD452-195A-4AE5-BFC3-CDE2E6A735E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"902f1e6f87317fe221fb9f325005f7a5966023b9","datavalue":{"value":"10.1007/BF01190751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$E814F9D5-1D94-48C5-A47E-201D34C2B0CE","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":"Q1185226$0F95A005-E5FD-4080-A9FA-FBC5FFD38145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185226$5A921F28-A6D4-447E-9680-83A4C435525E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26e129f701be8ccba0baefccaa986794e77bc1e4","datavalue":{"value":"C. C. Chang introduced MV-algebras in 1958 as the Lindenbaum algebras of the infinite-valued sentential calculus of \u0141ukasiewicz. Following the reviewer's paper ``Interpretation of AF \\(C^*\\)-algebras in \u0141ukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], we say that \\(A=(A,0,1,^*,\\bullet,\\oplus)\\) is an MV- algebra iff \\((A,0,\\oplus)\\) is an Abelian monoid, and \\(x\\oplus 1=1\\), \\(0^*=1\\), \\(1^*=0\\), \\(x\\bullet y=(x^*\\oplus y^*)^*\\), \\((x^*\\oplus y)^*\\oplus y=(y^*\\oplus x)^*\\oplus x\\). Boolean algebras are the same thing as MV-algebras obeying \\(x\\oplus x=x\\). MV-algebras have recently attracted increasing attention for their applications in various mathematical areas. For instance, in the above-mentioned paper, it is shown that MV-algebras are categorically equivalent to Abelian lattice- ordered groups with a distinguished strong unit; from \\(K_ 0\\)-theory it follows that countable MV-algebras are in one-one correspondence with approximately finite-dimensional \\(C^*\\)-algebras whose \\(K_ 0\\)-group is lattice-ordered. This correspondence preserves exact sequences and spectra. Building on his previous paper ``Semi-simple algebras of infinite valued logic and bold fuzzy set theory'' [Can. J. Math. 38, 1356-1379 (1986; Zbl 0625.03009)], the author investigates the spectral and completeness properties of MV-algebras. As proved by Chang, sitting inside every MV-algebra \\(A\\) there is a distributive lattice \\((A,\\land,\\lor)\\), where \\(x\\lor y=(x^*\\oplus y)^*\\oplus y\\), and \\(x\\land y=(x^*\\lor y^*)^*\\). Completeness and atomicity properties of \\(A\\) are defined with reference to the underlying lattice structure. An MV-algebra is called semisimple iff the intersection of all its maximal ideals is zero. As proved by the author in the paper under review, the class of semisimple MV-algebras cannot be characterized by any set of first-order sentences. Further, omega-completeness already implies semisimplicity. In the above-mentioned paper, the author gave a characterization of those MV-algebras which are simultaneously complete and atomic. Pursuing this line of research, in the present paper complete nonatomic MV-algebras having some atom are given the following characterization: any such MV-algebra is isomorphic to the direct product of a complete atomic MV-algebra and a complete atomless MV-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$06E549C3-44D7-4E64-8EE3-81F74F8DF22D","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":"Q1185226$4DE99365-3CCD-4CB1-A537-0A80430B52CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$E6D1A5A3-14A9-4A47-9B19-F5086AA04BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$D72DA1D1-3B24-4C72-AC41-B4E300B38FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$E047ACF6-D5CB-4A4C-9937-6D0E44B88F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$EE6CE9A4-A109-49EE-AA78-8F10FF0FF1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b06cb2fd990f79e2d54830ce37e76611f38ee9e","datavalue":{"value":"37901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185226$0EB25CD1-12E8-492D-A84B-70C13E3DB555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f2b0998b53fb39f7100aff59e2ce845b70fcbc","datavalue":{"value":"spectral properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$B327D34F-27C4-46EB-A4AF-2BB62F50DB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655c9ce13571246899cc2f8926d6c24e0381bdf0","datavalue":{"value":"Abelian lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$00258735-786D-4A16-93D6-407249D2A913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e213c3ecd41035c1aab3baa15125a28615ad5d38","datavalue":{"value":"semisimple MV- algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$446BF050-FBED-4E51-B4FD-88072984DB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c58f844e38fcbc01942e2915413b9e78e8a210e0","datavalue":{"value":"omega-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$B9F7B3DC-0BD7-4FBF-ABFD-E19EBBF6A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071c83cece85660856347cc3a8478ed6eab933b1","datavalue":{"value":"nonatomic MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$FF324F92-D3E2-45FD-934F-7A5D31F5B5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0d8459ff5431549a5b78639df2ddf698c3df79","datavalue":{"value":"atomic MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185226$A6BCDB9F-59E6-4BE9-B77A-F7B392FDDA81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb3a13437edece8f0c18f6e1a8662f419b26e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1943684,"id":"Q1943684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185226$AF4653D2-A787-499A-A25C-C91F73FA4943","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":"Q1185226$C6C1C7A3-EC50-4AD9-B358-C61514C9571D","rank":"normal"}],"P223":[{"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":"Q1185226$5966C5E8-98C0-4315-BC62-E767B6FC573F","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":"Q1185226$07E65BED-2433-4627-A1ED-92F47FC3A629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acd593f6dcb855c8c860e1a283b618409094880","datavalue":{"value":{"entity-type":"item","numeric-id":3026980,"id":"Q3026980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185226$C50A253B-389D-456C-9391-AEEBDE738E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185226$7E420E9A-745A-44F8-9EBC-E55EF00D4DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6679118888fc6421c45f4f6f4209ce22854b40","datavalue":{"value":{"entity-type":"item","numeric-id":4135493,"id":"Q4135493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185226$E55BCC98-9201-42EA-93CE-0C80F93E20A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcb020ec9819e3735e35828f256ee0dabd7da9f","datavalue":{"value":{"entity-type":"item","numeric-id":5294026,"id":"Q5294026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2e1bfc1fa85f8991b585e87f070b0027836251","datavalue":{"value":{"amount":"+0.8651655316352844","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":"Q1185226$00015012-5E6B-48F3-9509-5009587DA18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f788d515298c3e70995797cd3421cd9a5bb273e","datavalue":{"value":{"entity-type":"item","numeric-id":1179836,"id":"Q1179836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316b87b239deb49de1400742893e1faa250b4e12","datavalue":{"value":{"amount":"+0.8647706508636475","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":"Q1185226$2EC22789-8689-4AA8-9333-8F8EF7EBA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4f156fe420ffd2a4ce8d1cf32f980aad555661","datavalue":{"value":{"entity-type":"item","numeric-id":4864773,"id":"Q4864773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5427f762c6f407eed9d24f0db7c1798dcdb1e781","datavalue":{"value":{"amount":"+0.8511238098144531","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":"Q1185226$26BCB589-C61D-4D64-8D25-2ECC294270DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-simple and complete MV-algebras","badges":[]}}}}}