{"entities":{"Q938236":{"pageid":940084,"ns":120,"title":"Item:Q938236","lastrevid":65513694,"modified":"2026-04-12T03:07:33Z","type":"item","id":"Q938236","labels":{"en":{"language":"en","value":"A characterization of MV-algebras free over finite distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313050"}},"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":"Q938236$BE36FA85-6E37-4E84-A9A6-F5C1062ADE46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb14bd377216ea9f14f9125a05022ad0ab82f777","datavalue":{"value":{"text":"A characterization of MV-algebras free over finite distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938236$DF072A78-FD45-42F5-BF25-BAD515292327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86428cdc26f73d9cd091a5774189290dcc48e763","datavalue":{"value":"1148.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$3C6BD932-BB3D-4765-8E6E-673684CFBCE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$C13D391D-506A-4E48-90E8-DA4D1CE0ABF4","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":"Q938236$162D5235-9CE4-4923-8D2D-D8E987418639","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q938236$CFA22D05-68C8-4533-82D9-2925A8ABB260","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2507ff353036a2a1e6d615c2c84e3386cc51a3b3","datavalue":{"value":"\\textit{D. Mundici} [Arch. Math. Logic 45, 239--247 (2006; Zbl 1094.06010)] characterized free finitely generated MV-algebras. The present author extends Mundici's result; he gives a characterization of MV-algebras which are free over finite distributive lattices. For a detailed formulation of his result, definitions of several auxiliary notions would be needed. In the proof, topological methods are essentially applied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$D48A8715-0762-4FFA-B8BF-4C86DAB51EDD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$F4FF43E6-BD87-47F1-8630-B7BE31B6A771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$0F7E96B9-E72B-4CCB-A988-69C84AB00812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$70582A55-A1C1-475D-AE47-B11B887CD9D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a34c29c384d5c019ac0682a6e23299251e85b3c2","datavalue":{"value":"5313050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$0339F28B-C59A-4D8F-87F7-720424327A31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$6F2769FF-A1B8-41C9-9F43-DC9E77964F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$CD3E63FE-0DFA-40AF-8301-8F674A6412EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b6a958260d8fa704df32ebda215b4caa95c73b","datavalue":{"value":"lattice-ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$FA000A73-BDBC-4EE3-81F9-190E05A7947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3086a426e4f0bab8ba8f1eaca3bc4a762aa4c44f","datavalue":{"value":"free object","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$805015D0-4FBD-4D3E-BB9B-E591C5736941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958fe2bc8e2fe2c6230a4bdb4285ada1873d9ee7","datavalue":{"value":"order complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q938236$60FE26EB-2622-4C24-878B-4F41DF797D63","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":"Q938236$2238C575-FEA6-46FB-A119-7F82C895F3AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4b94e696bf6f4c9b93c5c31ad63393142804a94","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0084-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q938236$8C16F63A-E6D5-42EC-804A-842549483BAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28c2290541e4eef08c22973a21cfb17aae90c045","datavalue":{"value":"W2069967356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$713C2BC5-BEA2-4D6B-9702-33AC221A7272","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63865d96f4be335f5778947273943b5c8b6628d2","datavalue":{"value":{"entity-type":"item","numeric-id":1345471,"id":"Q1345471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$47A13C37-F8FE-47C5-989D-227905C07809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"defc30ee8c4991a2a0d1b7bb153eec5837acce14","datavalue":{"value":{"entity-type":"item","numeric-id":1092468,"id":"Q1092468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$89C058B2-F60F-481B-9C82-843A166D3DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9680255befb21596b72ab28ea65296e19b25623","datavalue":{"value":{"entity-type":"item","numeric-id":4195009,"id":"Q4195009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$D88E3E1B-61C3-4928-B62E-0231619E3F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e29cec8786ca251bbacb83b140ec1f440a0490","datavalue":{"value":{"entity-type":"item","numeric-id":4871782,"id":"Q4871782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$6D3BA74A-24DB-4AEA-9AA1-461B9AFBB6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ee6cb61d3972db6d5d157a438e7d6deb34a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1893808,"id":"Q1893808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$A4C67671-B1D0-4CF0-A66C-2964F03CD782","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":"Q938236$BCCEE690-D0F0-4430-B2BF-32952B1D48BA","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":"Q938236$2065B9E1-A106-4460-B69C-080E40E60EB6","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":"Q938236$62C2860D-898E-4EEF-AD9A-590FD6A175BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e763156958e2c249238046bb7fd44d00554643","datavalue":{"value":{"entity-type":"item","numeric-id":5309027,"id":"Q5309027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$2B3DF5F6-0EBB-4EA8-BA73-3BCBF0C26A22","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":"Q938236$152EFC76-980B-4FCB-A3CC-F606EA249887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a93ddfa4e3d4ba51fb1b5d5e75a79c50d5e1e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1123916,"id":"Q1123916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$B417C50A-9BA3-4B40-AB77-9C7215550399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab21d5f61b12448fdb1808b444bc3428d3da0c9","datavalue":{"value":{"entity-type":"item","numeric-id":818513,"id":"Q818513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$43D7333B-396D-4F7F-95FD-698D160BAA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c82701bf2a0dc501208776d94b3e9196794262f","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$F26B04AA-D0E9-43BB-AA86-B2E74E1E9F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baae621a14722da0659892b76836e44f2a829274","datavalue":{"value":{"entity-type":"item","numeric-id":3935151,"id":"Q3935151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938236$CE698AF5-FBA8-491A-89EA-CCA3B14CF85A","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":"Q938236$AFABEE0F-1560-4E3D-8892-A71320950F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c1acc39b029de3a463b5e1464cc04a1acb5570","datavalue":{"value":"10.1007/S00153-008-0084-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938236$93B7E045-B79D-4137-9A07-81B639DF50A2","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":"7d569e1d2e972b4b332b79b2b9fe06bd3b3922c4","datavalue":{"value":{"amount":"+0.8486494421958923","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":"Q938236$65DBAB20-4F53-4716-847E-0DFC96B9216D","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":"93cc1c37b95aecb2cc72fda4286e860ae96c279d","datavalue":{"value":{"amount":"+0.8282653093338013","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":"Q938236$28658361-7E16-47D5-B0E9-C8062FD7393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea8fb212d1447f45f675cb116eb7bfd32679c99","datavalue":{"value":{"entity-type":"item","numeric-id":818513,"id":"Q818513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d41d980f9d30e2f46b9528fdd8d88fd6846064","datavalue":{"value":{"amount":"+0.8241949081420898","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":"Q938236$0A3AAAB7-F9D1-4CED-A3BF-952C07D00B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1cc82fe82f0a32becad9241e4f349d090d42b31","datavalue":{"value":{"entity-type":"item","numeric-id":817684,"id":"Q817684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ce2a8344d57ee71ff1fd1fb21641778c80c8e9","datavalue":{"value":{"amount":"+0.813478946685791","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":"Q938236$4E96BF8F-7F41-496D-B145-AE3E06B7D2ED","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":"7336e4194fe0a52622ac95fe6556c856ccef1d80","datavalue":{"value":{"amount":"+0.807675838470459","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":"Q938236$F52D8AD4-9E0C-4C15-9AAB-29CD563E0FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of MV-algebras free over finite distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_MV-algebras_free_over_finite_distributive_lattices"}}}}}