{"entities":{"Q1935872":{"pageid":1946614,"ns":120,"title":"Item:Q1935872","lastrevid":51654332,"modified":"2026-01-19T07:00:07Z","type":"item","id":"Q1935872","labels":{"en":{"language":"en","value":"Algebraically closed MV-algebras and their sheaf representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137403"}},"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":"Q1935872$7668D569-B97B-4933-94B7-3E5F9EF417E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48a51c38ce404eebec26a546cc5e10521868739","datavalue":{"value":{"text":"Algebraically closed MV-algebras and their sheaf representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935872$DF93BA33-8E8C-4E5A-B75F-71045BCC70F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd2c9986324e95db68b61a978498d0c75bfd1c9","datavalue":{"value":"1286.06016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$EB6C30DC-458C-40F1-9DEF-7C16E7728AB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56d1e8fb2d61494dce12dbb2105246ffa3c10d56","datavalue":{"value":{"entity-type":"item","numeric-id":1935871,"id":"Q1935871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935872$367591A2-0B1A-46F8-991B-1FC1BB53536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935872$F6CE28BA-0CB4-4FB2-88F5-1D0A7466A41C","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":"Q1935872$43EBCFA5-E43A-4B1D-A7AD-01E910727590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935872$7B7860BD-DC91-44B7-A120-7F0A7C191B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935872$C32D28ED-B19A-4E93-8A10-39D05FADD640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7f939bc76e9ececda65f04da4b18a3b688cebeb","datavalue":{"value":"An MV-algebra is an abelian monoid \\(A= (A,1,\\bullet)\\) with an involution \\(\\neg\\) satisfying the equations \\(x\\bullet 1= 1\\) and \\(\\neg(\\neg x\\bullet y)\\bullet y= \\neg(\\neg y\\bullet x)\\bullet x\\). The standard MV-algebra is the unit real interval equipped with the operations \\(\\neg x= 1-x\\) and \\(x\\bullet y= \\min(0,x+ y- 1)\\). The free \\(n\\)-generator MV-algebra consists of all continuous piecewise linear functions \\(f:[0,1]^n\\to [0,1]\\) equipped with the pointwise operations of the standard MV-algebra. This is the McNaughton theorem. There exists a categorical equivalence \\(\\Gamma\\) between unital abelian lattice-ordered groups (for short, unital \\(\\ell\\)-groups) and MV-algebras. An MV-algebra \\(A\\) is divisible iff so is the unital \\(\\ell\\)-group \\((G,u)\\) given by \\(A= \\Gamma(G,u)\\). Using these basic facts, the authors prove that an algebraically closed MV-algebra is isomorphic to the MV-algebras of global sections in a sheaf over a Stone space, where the stalks are divisible totally ordered MV-algebras.   A different characterization was provided by \\textit{F. Lacava} [Boll. Unione Mat. Ital., VII. Ser., B 1, 703--712 (1987; Zbl 0647.06008); ibid. 11, No. 4, 961--972 (1997; Zbl 0886.06004)]. For background on MV-algebras see the monograph [\\textit{R. L. O. Cignoli}, \\textit{I. M. L. D'Ottaviano} and the reviewer, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For the most recent developments see the present reviewer's book [Advanced \u0141ukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935872$158A48A5-D8EA-4396-AF3F-EE304671C101","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":"Q1935872$30315959-E7CB-44D7-B1AF-26FAF075AE1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$3AB23220-01BF-43AD-9C31-E6D831E97D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$BB6168A5-B371-4A96-845D-11C482DAB6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$0508F641-3A36-464D-A8F2-DAB8C0B80A53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433628570b2c24f9026b518ded8c03e360ce8687","datavalue":{"value":"6137403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$D29AFD0B-A24D-486B-9E5D-FD47F882B36D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935872$2549EBD4-0566-42F0-9F33-B7E1031C5CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80bb449ca3e01690585124ffe9b2f3e8f5829c9c","datavalue":{"value":"algebraically closed sheaf representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935872$2B564B6C-C00F-4A74-BC84-A82F356418E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93d3dd7c1173789f6f99b0a788e5c1ec21ae4972","datavalue":{"value":"radical \\(\\Gamma\\)-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935872$2171E031-AE14-4F4A-91D8-1FA14D167526","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":"Q1935872$F5E41D57-0AD6-465F-8032-189A868ED177","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe70eb2c94e400b8f6ac82e176e11c9cd7fe7cef","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.10.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935872$B257C616-4165-4EA9-A525-E5566950DA3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ff4b1b5d5bee2b1204677431d241560526cbfdb","datavalue":{"value":"W2041785887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$B07F9AE4-FA42-432D-AF2F-BD1EA6D416DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2e29bba3449603010dbaa41656ff73dbe2c3f01","datavalue":{"value":"10.1016/J.APAL.2012.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935872$C2250445-B5F1-4146-835A-45445EC62B46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e746f1ae681eaaf3253dad29a8a50531696c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":636342,"id":"Q636342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc169d6ab13d608abdebc27681989e37d9b26c24","datavalue":{"value":{"amount":"+0.8507116436958313","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":"Q1935872$67E424D2-781B-45F4-941B-F8B6E1B3A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d77af205eb40c7579122583d77ba392e9188ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077400,"id":"Q3077400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6adff14e50733cdf93ad3729f54e46518a65ee","datavalue":{"value":{"amount":"+0.8358798623085022","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":"Q1935872$65C9D885-B6A6-4AED-85CC-203FCD361E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9eb5622793e31a7fcba97ee4559c7e1b121d3f","datavalue":{"value":{"entity-type":"item","numeric-id":2153664,"id":"Q2153664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509e6c71bd80457547437e8493249a59e53f37f6","datavalue":{"value":{"amount":"+0.8046123385429382","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":"Q1935872$DBA099A0-FA17-424D-A3A8-7669E398C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c03e8b3e3c81138aee32965dbcd9025046046","datavalue":{"value":{"entity-type":"item","numeric-id":5177876,"id":"Q5177876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dd2c0701780952b1622abc57da6adbd83a37c0","datavalue":{"value":{"amount":"+0.802555501461029","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":"Q1935872$AA151898-6DA1-4053-B110-1CEAA2064662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46b0e8648981aa6df2ff444d60a8588b419301a","datavalue":{"value":{"entity-type":"item","numeric-id":4893877,"id":"Q4893877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd291c78cb81becdb2a90d3feae4cf7dadc5aab4","datavalue":{"value":{"amount":"+0.8019145131111145","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":"Q1935872$08745695-2C03-4C06-9846-FFCF76E6B327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935872"}}}}}