{"entities":{"Q535089":{"pageid":536856,"ns":120,"title":"Item:Q535089","lastrevid":57059445,"modified":"2026-03-26T11:13:52Z","type":"item","id":"Q535089","labels":{"en":{"language":"en","value":"The dual geometry of Boolean semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886735"}},"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":"Q535089$402C4996-F36D-44FC-8685-74A3FE3803E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0913b83feb24ce1d82627377ecd3512622478e5","datavalue":{"value":{"text":"The dual geometry of Boolean semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535089$6BDC0357-F98A-4332-B629-F07ACA2CC851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdf1f16730789684c53a4a581f8f5986e134dd00","datavalue":{"value":"1217.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$6CD0B076-BA55-41CE-8B12-940F9A202014","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91d1b9fcd0f6c6715327e837050173798544cf16","datavalue":{"value":{"entity-type":"item","numeric-id":535088,"id":"Q535088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$ECF1BDF8-32B3-4478-B40A-B1659453C78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb000829b5f171997cb7e91da08b3f0452aa4107","datavalue":{"value":{"entity-type":"item","numeric-id":436455,"id":"Q436455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$1B94A09D-08D9-43DC-9129-230B2DCA3974","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":"Q535089$19D66C00-4043-4F6D-83A2-0153C84CFE6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535089$6AA8FFAB-896B-4034-8114-D9523CFEA44E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e96ac609e4808de0e34ad600295c288c08a548b","datavalue":{"value":"https://arxiv.org/abs/0801.4923","type":"string"},"datatype":"url"},"type":"statement","id":"Q535089$1492B96A-53AF-448E-A5DD-F9510001DBAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b42dec4bbbf004cdabfa187532ee8fd7247c6fc","datavalue":{"value":"The authors follow very closely the ideas of \\textit{D. M. Clark} and \\textit{B. A. Davey} [Natural dualities for the working algebraist. Cambridge Studies in Advanced Mathematics. 57. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)] for constructing natural dualities. The basic idea is to impose on the carrier set \\(S\\) of the semiring \\(\\mathbb{S}\\) the discrete topology together with operations, partial operations, and relations to form a dual topological structure \\(\\underline{\\mathbf S}\\) as the generator of the dual category \\(\\mathcal X\\). More specifically, \\(\\mathcal X=IS_{c}P^{+}(\\underline{\\mathbf S})\\) is the category of isomorphic copies of topologically closed substructures of non-empty products of copies of \\(\\underline{\\mathbf S}\\). Using this construction, the authors obtain a dual adjunction \\(\\langle D, E, e, \\epsilon \\rangle\\) between the categories \\(\\mathcal {A}\\) and \\({\\mathcal X}\\) with the many desirable properties of [loc. cit.]. If the dual adjunction \\(\\langle D, E, e, \\epsilon \\rangle\\) satisfies the property that for any \\(A\\in \\mathcal{A}\\), \\(A\\) is isomorphic to \\(ED(A)={\\mathcal X}(\\mathcal {A}(A,\\mathbb{S}),\\underline{\\mathbf S})\\), then it is called a dual representation of \\(\\mathcal{A}\\) in \\({\\mathcal X}\\). In this case we say that \\(S\\) yields a (natural) duality on \\(A\\). If it is also true that for any \\(X\\in {\\mathcal X}\\), \\(X\\) is isomorphic to \\(DE(X)=\\mathcal{A}((X,\\underline{\\mathbf S}),\\mathbb{S})\\), we say that \\(\\underline{\\mathbf S}\\) yields a full duality on \\(\\mathcal{A}\\). Thus \\(\\underline{\\mathbf S}\\) yields a full duality on \\(\\mathcal{A}\\) if it yields a duality on \\(\\mathcal{A}\\) which is a dual equivalence. Finally, if \\(\\underline{\\mathbf S}\\) yields a full duality on \\(\\mathcal{A}\\) and is injective in \\({\\mathcal X}\\), \\(\\underline{\\mathbf S}\\) is said to yield a strong duality on \\(\\mathcal{A}\\).  The authors construct three dualities, each one coming from a different topological structure. In all three of them the algebra side of the duality is \\(\\mathcal {A}=ISP(\\mathbb{S})\\). The first topological structure, \\(\\underline{\\mathbf S}\\), yields an optimal (natural) duality \\({\\mathcal X}=IS_{c}P^{+}(\\underline{\\mathbf S})\\leftrightarrows \\mathcal{A}\\). The second one, \\(\\underline{\\mathbf S}_{s}\\), yields a strong duality \\({\\mathcal X}_{s}=IS_{c}P^{+}(\\underline{\\mathbf S}_{s}) \\leftrightarrows \\mathcal{A}\\). The third one, \\(\\underline{\\mathbf S}_{os}\\), yields an optimal strong duality, \\({\\mathcal X}_{os}=IS_{c}P^{+}(\\underline{\\mathbf S}_{os})\\leftrightarrows \\mathcal{A}\\). In the first duality, labeling the appropriate contravariant functors \\(D\\) and \\(E\\), \\(A\\) is isomorphic to \\(ED(A)={\\mathcal X}(\\mathcal{A}(A,\\mathbb{S}),\\underline{\\mathbf S})\\). Similar remarks hold for the other two dualities. Moreover, it is shown that \\({\\mathcal X}_{os}(\\underline{\\mathbf S}_{os}^{n}, \\underline{\\mathbf S})={\\mathcal X}(\\underline{\\mathbf S}^{n}, \\underline{\\mathbf S})\\).  A major part of this paper is devoted to characterizing the join-irreducible elements of \\( {\\mathcal X}(\\underline{\\mathbf S}^{n}, \\underline{\\mathbf S})\\), the authors giving an inductive characterization of them in Theorem 2.11. This set, denoted by \\({\\mathcal X}(\\underline{\\mathbf S}^{n}, \\underline{\\mathbf S})_{J}\\), has the structure of a meet semilattice (called ``hairy cube'') that completely determines it as a partially Stone space. They also obtain a polynomial representation for the elements of the hairy cube.  The results in this paper and in [\\textit{D. J. Clouse}, A dual representation of Boolean semirings in a category of structured topological spaces. Ph.D. dissertation, Binghamton University (2002)] greatly expand our understanding of the dual equivalence between the variety of Boolean semirings and the category of partially Stone spaces established in [\\textit{F. Guzm\u00e1n}, ``The variety of Boolean semirings'', J. Pure Appl. Algebra 78, No.~3, 253--270 (1992; Zbl 0770.16020)]. They also complete a large initial step for investigating the strong duality established between \\(\\mathcal{A}\\) and \\({\\mathcal X}_{os}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q535089$C9CDD7A9-5BE1-4D07-AE74-4AE3605F32B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$DFB8D3CF-24EB-49B6-B41A-220488E0A846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$90553F15-26A7-445D-BE02-A3031F0CEEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$39171E44-981A-44F3-A383-FE4FAF75A9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7dbdc6439da3df4db829af9393786bef4c8ea7","datavalue":{"value":"06E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$29FF6134-3163-437A-AAFC-536FF2E806C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$A36BCA73-BDFA-4AB1-8F7E-256B1F721DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$599F07B5-9892-4A6E-B88A-CC5C6CED4C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5690d52880a4157f32d4e9942a368cfd3f41f5a6","datavalue":{"value":"08C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$6A12D37A-7F50-41C3-814E-0FBF4088B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$B4C4988E-2112-4C31-9CE9-85F0E413C58B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58da166a6f764dca565e96f6c94d6e13068e764","datavalue":{"value":"5886735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$B8113727-8D61-4CB1-8C8C-DB7A136558BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3c3ccc07561ace068008031b5c4e1ae7641c5f","datavalue":{"value":"Boolean semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q535089$54155600-253C-49CF-82D6-8A08DAFE41E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q535089$4105E824-7CA6-4341-A64B-A141FFF014B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ddf69b7492d4ede7d6792371cda1143b12e3fb","datavalue":{"value":"strong duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q535089$6087DA55-C27B-4DF1-81A6-4BFEDB7E0A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d7ff464d124c73f9008e9e8fa49cfdbf29f5d2b","datavalue":{"value":"optimal duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q535089$69441EEC-CE29-485E-8D3B-DA5CF08825E7","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":"Q535089$9D6F3087-4E64-4FE6-8E01-DEBFC7C141FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ec3d79adbbc36a3d8dbd0eca34185dfa47cabf","datavalue":{"value":"W1977202624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$33753C53-D9B4-495E-9798-379C811E35F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$DA49D6B1-0762-4D48-A0DB-5DA4E581D07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$190A18FA-8990-4EBD-A079-8AF9068BC4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca8eaadfe6e3c1931653f8f8f2aaa5e6b28d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":1196778,"id":"Q1196778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$5119001B-DE02-488A-9A3B-06D9403D57D4","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":"Q535089$56CACB4E-F6B1-4D70-AFE9-6AA7F3330AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535089$0FE72DCF-81B6-4D32-9323-610D269AC711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f64b0c5734f5a4d979b00dfc27fb431dc85219ab","datavalue":{"value":"10.1007/S00012-011-0102-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535089$29CB0632-98DD-4065-B62D-601B1DB90089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3adf5290d29e9826d93c759499fa8afe8e2a497","datavalue":{"value":{"entity-type":"item","numeric-id":1914068,"id":"Q1914068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8540848f32cd9e54f6149f1f3a57b2faf0700c4f","datavalue":{"value":{"amount":"+0.7900363802909851","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":"Q535089$5983A3F4-FE48-43D0-8ACD-4880AAED426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e07e5a55464ef508d85841fafe7f285f010cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":1913875,"id":"Q1913875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8540848f32cd9e54f6149f1f3a57b2faf0700c4f","datavalue":{"value":{"amount":"+0.7900363802909851","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":"Q535089$BBC8C4B4-B316-4678-AB85-1D3ABD475054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27859e9d981644b895cc0d572df62b42822b6a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1426510,"id":"Q1426510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5efec0705c7069da16527bdf0de52486cf38188","datavalue":{"value":{"amount":"+0.7768252491950989","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":"Q535089$8EFCE685-B05C-4A0D-97CF-84F1A39AE25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e6ab180ab7d6696ae1ca7f834be038d34990df","datavalue":{"value":{"entity-type":"item","numeric-id":3774046,"id":"Q3774046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee50966d690bace6eb986677a795f1c002a31a","datavalue":{"value":{"amount":"+0.7757998108863831","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":"Q535089$ECFA84A8-EC4A-468B-9467-8E15F5321D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6184d8dcea6a2902b8c7718088989064c8e623","datavalue":{"value":{"entity-type":"item","numeric-id":2024927,"id":"Q2024927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e6952be62d0482a8a7940ed5054b4cc699fcd3","datavalue":{"value":{"amount":"+0.7634516358375549","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":"Q535089$8FBAA98E-8E81-4E54-9F54-EDE7FFD923D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:535089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:535089"}}}}}