{"entities":{"Q818513":{"pageid":820361,"ns":120,"title":"Item:Q818513","lastrevid":64570491,"modified":"2026-04-11T20:47:08Z","type":"item","id":"Q818513","labels":{"en":{"language":"en","value":"A characterization of the free \\(n\\)-generated MV-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013634"}},"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":"Q818513$3536435A-4123-4B64-AFDE-72E30E03963F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a86471b0031f0ca2010a67eeda81d0317d526fd3","datavalue":{"value":{"text":"A characterization of the free \\(n\\)-generated MV-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818513$264A041C-6A0F-4A40-94B0-5D654542A7E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa03de18f6470425f2e894bfc47b7d8b0a8d01eb","datavalue":{"value":"1094.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$0223E77F-367F-4963-99D5-1B480B8C9A2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$AE33C764-4559-4B5E-969D-BD66371C2995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818513$335B8212-7852-4BD8-9197-A1D11D639586","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07718dbc092e4aeb3a9fba6b5a09e8bd7e45ac59","datavalue":{"value":"The usual way how the free MV-algebra over \\(n\\) generators is described, is by means of McNaughton functions. More precisely, it can be considered as the algebra of all McNaughton functions over the \\(n\\)-dimensional hypercube with the operations defined point-wise.  In this paper the author gives an alternative characterization. He proves that an MV-algebra \\(A\\) is isomorphic to the free \\(n\\)-generated MV-algebra if, and only if, it satisfies the following conditions: (1) \\(A\\) is semisimple. (2) \\(A\\) is generated by a partition of unity \\(P=\\{p_0,\\dots,p_{2^n-1}\\}\\), i.e., \\(p_j\\neq 0\\) and \\(\\bigoplus_{i\\neq j} p_i=\\neg p_j\\) for each \\(j\\). (3) Let \\(C=\\{q_1,\\dots,q_k\\}\\) be a \\(k\\)-element subset of \\(P\\). The subset \\(C\\) is called \\(k\\)-cluster if \\(\\bigwedge q_i\\neq 0\\). The one-set of \\(C\\) is the set of maximal ideals \\(J\\) of \\(A\\) such that \\(\\bigoplus_{i=1}^k (q_i/J)=1\\), endowed with the spectral topology of the maximal ideal space of \\(A\\). Then the one-set of each \\(k\\)-cluster is homeomorphic to the \\((k-1)\\)-dimensional disk with the usual topology. (4) The clusters of \\(P\\) are exactly the nice subsets of \\(P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$0C5E4664-4133-4795-825E-37D70FD86A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$87272123-2677-4AF6-ADD7-D2AC4E526E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$15FD5816-D9EC-4897-AE52-4E4F88E2C464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$ABA68FCC-AF1B-4B38-B753-808BAF7D9ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f29305a28922d78af55ace33d73d2c5fb51a8c8","datavalue":{"value":"55N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$AAD8943A-5207-48C5-BE08-FDB63A5BE07D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770719d7034c650f0882bae9478528ec53391ecf","datavalue":{"value":"5013634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$5E408CF0-FABC-4872-8B48-335ECD9C7593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$EB2A4CD4-68FA-4C9C-9D69-4EDBB8BBE54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f781c25c08d63fddd2f9ce08f1ec0150721fd3","datavalue":{"value":"free MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$EC2E28CB-6EC5-4F16-952C-5076A7D3F2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f919cee0048f35ede805343de91093a516395f","datavalue":{"value":"McNaughton function","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$32EFBC38-FBAF-40D8-B094-6BB604B99BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a030b4e0bcb62e65a23bfd285cef4530b5b0ce8f","datavalue":{"value":"partition of unity","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$B783BB14-C577-4174-9FC4-57FAFB09C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf188bde0e7c2b2d880c3cc7ee34e610eaed1d5","datavalue":{"value":"standard triangulation of the \\(n\\)-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$0B4A99A7-7527-4962-BDE3-023569F2D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a03a178d464ee4ad57dbf9b27cfd6a56128f26","datavalue":{"value":"\\(\\Gamma\\)-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$1ABD3D14-8ECF-421E-8E7B-93367CE6E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43ee5689814b72af52b9e85fb2e6afd6dbb5fcd","datavalue":{"value":"singular homology group","type":"string"},"datatype":"string"},"type":"statement","id":"Q818513$ACD847BF-9249-4BFE-87C5-E4CC0A5955D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$753D79F8-63E6-41F1-80DE-C9695EB38B88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73c361858eeca6952519ea8b552aad4cb33e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$626657C1-3A1E-437F-A40C-026EC7388A29","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":"Q818513$399AF9ED-46DE-44F0-A49C-1DFCEA021818","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6448390c8e1c6d5f68940ce7cfa23487012b4f8","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0273-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q818513$2FE86076-EE53-428E-ACCF-1BC25494634B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5c7b2ea5dbeffbbbe96686fb7970b43473f6021","datavalue":{"value":"W1966265902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$3476A696-26F8-4F68-BFE2-7AC8EF2B02A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$4D9D68CF-2D51-4B99-9E5C-A7E1F8752AB5","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":"Q818513$2757052A-56F5-4528-B246-38133090AF34","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":"Q818513$D9D047EE-84B0-4F41-9DF4-8397CC42CDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$A5A1DF6D-4351-47DF-AFBE-71E8BF1DA47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1d328a1bc63d1dc12f07aa04c2e4937aac32f","datavalue":{"value":{"entity-type":"item","numeric-id":4266133,"id":"Q4266133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$7DC35306-41D5-4A17-9DEA-EFC9388E924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6b1390542df209676eb5f9029bfda277507df5","datavalue":{"value":{"entity-type":"item","numeric-id":3884826,"id":"Q3884826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$A9AFB05B-CEA8-4879-B953-97233E19A2AF","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":"Q818513$4A1F675F-00D9-49EB-B034-9A735A100E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69cf6e350090a83589b32b35f7400ebfe8dfd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$6206247B-A922-41F8-B8AE-9B4738FC40C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b93aaa2996fd8da685d682ae17c7edb1557bb21","datavalue":{"value":{"entity-type":"item","numeric-id":1161123,"id":"Q1161123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$DD1D1CB0-B899-48CB-BF57-4774D49DDD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37ed1cef40e6e67a8cfca092abb5b460d814e52","datavalue":{"value":{"entity-type":"item","numeric-id":4284391,"id":"Q4284391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818513$40523DCB-6A9B-4B85-9613-8A7B235789CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab33eb03e06ceac878ace32f37c00a28fd8ac739","datavalue":{"value":"10.1007/S00153-004-0273-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818513$1A7A1874-6D4F-4BF4-9216-7C3893C0605B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9558107681d718c110376005d5f5ceeb23ea38","datavalue":{"value":{"entity-type":"item","numeric-id":934891,"id":"Q934891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed83ff3f6ff073860f44f461503653726db1299d","datavalue":{"value":{"amount":"+0.865791380405426","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":"Q818513$7D320686-2FA3-430A-9BCA-D303FAD50174","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":"988cef22645e4ecc04496cb31db7680b789d6be2","datavalue":{"value":{"amount":"+0.8515004515647888","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":"Q818513$BAB9E97C-A951-4BCC-89B8-E17F7AEDBC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7230821622e1fdbb1a66ec607de487cb845fad","datavalue":{"value":{"entity-type":"item","numeric-id":2475561,"id":"Q2475561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8729278738122bd4b2a8ddb776aff112520d2fc3","datavalue":{"value":{"amount":"+0.8441121578216553","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":"Q818513$2FF5E3B1-0339-4C0D-8C6E-9DA8A27F699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb1549ceb2ba97cf51653bf37a97841694a0d41","datavalue":{"value":{"entity-type":"item","numeric-id":976751,"id":"Q976751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07395c1a2abb558dd18ae2545d722a85732962bf","datavalue":{"value":{"amount":"+0.841992199420929","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":"Q818513$6CD1DB7D-82C6-4A40-9527-867660ADB13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12a6058e3977f81502702f74c8d85f4bc6385f","datavalue":{"value":{"entity-type":"item","numeric-id":3566946,"id":"Q3566946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8846a3192d045225db78512064d62fccb0ab4c6","datavalue":{"value":{"amount":"+0.8256284594535828","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":"Q818513$8BF55940-60E0-428B-97E6-7FFA43564B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of the free \\(n\\)-generated MV-algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_the_free_%5C(n%5C)-generated_MV-algebra"}}}}}