{"entities":{"Q1916849":{"pageid":1927591,"ns":120,"title":"Item:Q1916849","lastrevid":69288042,"modified":"2026-04-13T06:00:35Z","type":"item","id":"Q1916849","labels":{"en":{"language":"en","value":"Boolean products of MV-algebras: hypernormal MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 902566"}},"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":"Q1916849$54500B9D-1DDA-404E-A0CB-AEBFDD20248E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d3636d2d5d994d02e343123a81df65a4d86954","datavalue":{"value":{"text":"Boolean products of MV-algebras: hypernormal MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1916849$8B5D398C-8006-4122-A946-B810AF22F706","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be3ba50f258ab60a4d7ce6a5b72fc8347cf4043","datavalue":{"value":"0849.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$E1B82FCF-DC68-4A4D-AC2A-C56F21255FB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916849$475B8CD9-8718-4AEF-983C-4AE0A0C9B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916849$A8F92381-EBE5-420E-B308-50EAD5477D2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916849$712B30D5-BEB4-4EA1-A3BA-51E80B635812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb9dde3bc98faab6bfc93ee0e075fd8b26c6e3af","datavalue":{"value":{"time":"+1996-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1916849$1DD90CE3-23E3-4BA7-B62C-92897D013986","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37dd1e4a7ea037358780643a396b40da6b9fbca5","datavalue":{"value":"Introduced by C. C. Chang in the late fifties as the Lindenbaum algebras of the infinite-valued calculus of Lukasiewicz, MV-algebras have been attracting renewed interest in the last decade, because they form an equational class being naturally equivalent to the category of lattice-ordered abelian groups with strong unit. As a consequence, countable MV-algebras are in one-one correspondence with AF \\(C^*\\)-algebras whose Murray-von Neumann order of projections is a lattice. The prime ideal spectrum \\(\\text{Spec} (A)\\) of any MV-algebra \\(A\\) is homeomorphic to the structure space of its corresponding AF \\(C^*\\)-algebra. As a partially ordered set, Spec\\((A)\\) is a spectral root system, and -- as shown by the authors in a forthcoming paper in the Journal of Algebra -- every spectral root system arises from some MV-algebra. As a special case, in the present paper the authors give several characterizations of the class of hypernormal MV-algebras, those MV-algebras \\(A\\) for which \\(\\text{Spec}(A)\\) is a cardinal sum of chains. For any topological space \\(X\\), let \\(W(X)\\) be the MV-algebra of continuous \\([0,1]\\)-valued functions defined on \\(X\\). Then the authors prove that \\(X\\) is an \\(F\\)-space iff \\(W(X)\\) is hypernormal. Other similar results are proved, and a number of examples are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$5102B70D-668B-4633-A183-E231E42B428F","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":"Q1916849$5CFDBAF9-F69F-4D30-8C40-AF5B6E7CD2BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$19A8E1AC-1713-41AC-9DAA-B60E329ABD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$CD688E86-4C4A-43FD-9FD4-7ABF330B128B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$F80EE0B5-E8DA-4470-AA40-FA21292F1F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$51A15D2D-1703-454A-995D-CD4BCB2E9B7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e156aa0cb7b4bb7a61e99751f58c35fd941e22","datavalue":{"value":"902566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$FBDD7E83-54FC-44AD-AE61-D25E39EDE7A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cbe3e470e09b0c78052de57e6e495bd93d50a09","datavalue":{"value":"Boolean product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$05F5F368-00C6-43A7-B569-C603D4BABF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84277b9d4b2e3a501cb7d43787741ecaa4bffcd7","datavalue":{"value":"prime ideal spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$0281B576-2E44-4958-B6D7-5D6A355406AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4085bd1fad664dc656ebd78cecf2a7baafe63cb4","datavalue":{"value":"spectral root system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$7C415A72-0180-46D6-9825-45083007A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea50214bd6460343de9bb34a98727bd3ece2317","datavalue":{"value":"hypernormal MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$08E4A8DA-A706-4FD7-82FD-5A02B3E6B8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9069991a0bc88d67658e2a8786a943eb9c432e2d","datavalue":{"value":"\\(F\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916849$4B61B154-9C98-461B-81A6-EB8D50D104C8","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":"Q1916849$472DC117-9E85-4C9F-9212-A11983B5C17E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8579308fd2f3bcdccb4d88d2c55c4fe659924c29","datavalue":{"value":"https://doi.org/10.1006/jmaa.1996.0167","type":"string"},"datatype":"url"},"type":"statement","id":"Q1916849$E0FDD5AA-0133-44BF-AE56-4E40201AFFCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fa06d400e93c031f2395b413aaf82532569b7ea","datavalue":{"value":"W2057508004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$322A0560-7B96-4F20-9E7D-042E985AA000","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bd8e26a46f7329f65a5467085ae6dc44f73ecd6","datavalue":{"value":"10.1006/JMAA.1996.0167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916849$957FF550-CB6C-48CA-9E1F-EF0E676F1843","rank":"normal"}],"P1643":[{"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":"cdd7a59cf997a2fdd04f181609459cf5de2cd737","datavalue":{"value":{"amount":"+0.8426597714424133","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":"Q1916849$127FFD87-5BBF-424F-8D4D-2873176FC632","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":"161c8c1be6407f92d0b0671d0645043df7a1f0f5","datavalue":{"value":{"amount":"+0.8280411958694458","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":"Q1916849$62AEB39C-DC4F-4640-8F59-25A784AB409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43864e76dbed3f2a4afdef7b1b825f0a58f8f040","datavalue":{"value":{"entity-type":"item","numeric-id":4699340,"id":"Q4699340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c739de5005d1cbdebffb172c12c394155eb6bd7","datavalue":{"value":{"amount":"+0.8004966378211975","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":"Q1916849$4AEF4A4E-B459-41CB-80A1-4294CD44FDD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean products of MV-algebras: hypernormal MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_products_of_MV-algebras:_hypernormal_MV-algebras"}}}}}