{"entities":{"Q451077":{"pageid":452844,"ns":120,"title":"Item:Q451077","lastrevid":61931130,"modified":"2026-04-11T02:38:28Z","type":"item","id":"Q451077","labels":{"en":{"language":"en","value":"A refinement of Stone duality to skew Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087532"}},"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":"Q451077$8CEF6340-A88E-48F7-B20A-BD52D06806CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"742bbb470785ca00781943498e300026be107f19","datavalue":{"value":{"text":"A refinement of Stone duality to skew Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q451077$781987B4-4721-403E-944C-7B94E4C88481","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f883ea5f977932ce07b2f9a244a2296d264c2770","datavalue":{"value":"1259.06016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$837768E2-9885-42F3-95DD-F41F3F29732E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"550de96e99972b9a2fa877c1af29bf132780cff7","datavalue":{"value":{"entity-type":"item","numeric-id":284644,"id":"Q284644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$BA9C4389-96A8-4274-9E39-1C1527BA865E","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":"Q451077$29F2EECB-1F1F-4DFC-950C-4D6CF7B10D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q451077$EF9CFEAE-09FB-4C2C-A72D-A3C5E319A7AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bc0266fc8c888a7815ee0eccefae68e0e0ba3d9","datavalue":{"value":"https://arxiv.org/abs/1102.1242","type":"string"},"datatype":"url"},"type":"statement","id":"Q451077$9E31C1CD-A8D0-424D-A46B-58200E7CF11B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"757143fa21ab376dfbdc4b0516ac1f3d1f756293","datavalue":{"value":"A skew Boolean algebra is a quintuple \\((S;\\vee ,\\wedge ,\\setminus , 0)\\) where \\(S\\) is a set, \\(\\vee ,\\) \\(\\wedge\\), \\(\\setminus\\) are binary operations such that \\( \\vee\\) and \\(\\wedge\\) are associative, idempotent and absorption and satisfy \\(x\\vee y=y\\vee x\\) if and only if \\(x\\wedge y=y\\wedge x,\\) \\(x\\setminus y\\) is a complement of \\( x\\wedge y\\wedge x\\) in the principal subalgebra \\(x\\wedge S\\wedge x\\), and \\(0\\) is a nullary operation such that \\(x\\wedge 0=0\\wedge x=0\\). A skew Boolean algebra is left-hand if the identity \\(x\\wedge y\\wedge x=x\\wedge y\\) holds. The natural partial order \\(\\leq\\) on a skew Boolean algebra is defined such that \\(x\\leq y\\) just when \\(x\\wedge y=y\\wedge x=x\\). If the natural partial order is a meet-semilattice order then \\(\\cap\\) denotes the binary semilattice operation and \\((S;\\vee ,\\wedge ,\\setminus ,\\cap ,0)\\) is called a skew Boolean \\(\\cap\\)-algebra. It is proved that the category of left-hand skew Boolean algebras and their algebraic homomorphisms is equivalent to the category of \u00e9tale spaces over locally compact Boolean spaces and their cohomomorphisms over continuous proper mappings, and the category of left-hand skew Boolean \\(\\cap\\)-algebras and their algebraic homomorphisms is equivalent to the category of \u00e9tale spaces with compact clopen equalizers over locally compact Boolean spaces and their injective cohomomorphisms over continuous proper mappings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$552C4062-5807-489D-A7D3-56D1CC45A15D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$513D307D-1389-4FF6-B5A7-E735FBF6101F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$B45CE248-24F1-441A-B2A8-DDA46BD89F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$1AB004D9-436C-452D-A008-AB4AA35A1EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$B6E216E1-7E93-4B5E-BBCC-FAAA61179CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca2dc0f65a9ba2724e55a320303c3b04299c7aaa","datavalue":{"value":"54B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$62569B88-DF40-488E-AB8A-666798A470C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2813d904da6af8e7d1384e956cf6338a1a7f267","datavalue":{"value":"6087532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$AB6587D1-E350-44C3-9FB1-3EF812F742A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17db9457748c73849b7ed0580ffe01810db3b455","datavalue":{"value":"skew Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$17E4B341-CF9C-4F67-9786-A90090C7A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0f2e07ba0852ed8bb679adf813af97d7d126e1","datavalue":{"value":"locally compact Boolean space","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$3A27A023-F0FA-430A-9FCD-0D6258059387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$1291DADB-E3D9-4F27-9E94-9A01BD102B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b6f072e04876f01e91d04e46ae6119965326f9e","datavalue":{"value":"\u00e9tale space","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$D8C35476-033A-4D29-AA18-5C994239CA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb046083c13b0e60353b814d3b6f3926fb488b3","datavalue":{"value":"cohomomorphism of \u00e9tale spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q451077$034AA920-2498-4E81-9098-C8E2A714A523","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":"Q451077$14A78982-8AD8-4F04-AE64-5EE75E6C86ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6793355a7d33c8d379ff3bb04fd8d3d8556fa71","datavalue":{"value":"W2134789669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$D81D58E9-DCBE-4D55-99AD-10F5F8BC5BDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$CB03FA23-2D02-4F60-884B-3D5B2A20687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dea920728159133bd671dff056605cd4f59f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":4923724,"id":"Q4923724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$303C24AB-3B0D-422F-B6C1-18D2677F9FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e0a746a21efd4152a179d33db2e502aff5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":1891275,"id":"Q1891275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$24416D3F-9B4D-499F-AFA8-3F96106ECDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19142de4ba3466e44b3ce81a6751942afb763833","datavalue":{"value":{"entity-type":"item","numeric-id":3125206,"id":"Q3125206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$F2CB310B-97E6-4F85-A9F6-DD50EB45363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$370F84CF-7606-4457-ACD5-A5280BF7AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da206ef6f3a20e02b9880061df0d8bfdd76f8162","datavalue":{"value":{"entity-type":"item","numeric-id":3916614,"id":"Q3916614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$4EF3BEDE-FF96-4A5E-8591-ED1764D96BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46948f3167f8ccce4d5b314f719f5d70f08148b","datavalue":{"value":{"entity-type":"item","numeric-id":5730925,"id":"Q5730925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$2D5CA78E-A294-4BFE-A49D-8E0F2A693C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$B5EDBC88-C5D8-43EE-9748-0ED9E4F66C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$ED6352D9-C807-4EDB-87C8-9BFBACF3D163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb5b39a798d01e36e7eabc9197a327ad0a8de3b","datavalue":{"value":{"entity-type":"item","numeric-id":4769085,"id":"Q4769085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$B8D03065-7BB2-4196-A94C-CFA02F1A470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672fe0e529ecd014e31612b1ed1ab99e8cb206e1","datavalue":{"value":{"entity-type":"item","numeric-id":3577307,"id":"Q3577307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$472351BB-F068-446B-9EB9-021E6194A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fb283b757f083f1a8261653ec6a9caf2407680","datavalue":{"value":{"entity-type":"item","numeric-id":2437408,"id":"Q2437408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$35929953-E550-449C-9EE6-1C2C818957F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b64c8734b94f74924c0b0ac4419105b2f5aec6","datavalue":{"value":{"entity-type":"item","numeric-id":1118623,"id":"Q1118623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$A5EE1A52-829C-4006-A41B-3D5545C184B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$5458072B-6B72-4BAF-B829-6FA04B9D791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4ca161dae6a140475fc6b216dbd9b2c21c26","datavalue":{"value":{"entity-type":"item","numeric-id":1184165,"id":"Q1184165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$0C684791-F5C5-4F9F-A444-DC5107AFAEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47724ce31f1408404f2b60f202ca6cd1a6eca842","datavalue":{"value":{"entity-type":"item","numeric-id":1905969,"id":"Q1905969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$52850A90-1918-40DC-9781-F3DB0F691B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$FD3279D7-0639-4F12-9E7C-3F0FDDE9961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abf7c463f10c0c5636d0edb13570c20c8938a33","datavalue":{"value":{"entity-type":"item","numeric-id":1047671,"id":"Q1047671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451077$E908D56E-F512-4F4B-925A-1E5B536D1F1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b53d56828958cba44ef1384e7cc59e12fb5b8fd8","datavalue":{"value":"10.1007/S00012-012-0192-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451077$B0D44441-7C3D-4540-AADD-3FFD5099F0A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a235ede5d0a3156ce3fa39b9b0d97fc10c541ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4923724,"id":"Q4923724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b4501a0153cb2e1efd70ce10fb794dc8bc1e78","datavalue":{"value":{"amount":"+0.8848221898078918","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":"Q451077$B56E05B9-96D0-4618-BC64-F5990098E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f83d5f10454c045604b3d36fcf90e161a18342","datavalue":{"value":{"entity-type":"item","numeric-id":5408717,"id":"Q5408717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e00300ffe9cb92a7789fb379c3995bfa0b521d","datavalue":{"value":{"amount":"+0.8513968586921692","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":"Q451077$F73C34C7-0C13-4F0E-BAB0-D5BE0BA91696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afca27f70822e96e0e5a552e3bd4e855a7739fb","datavalue":{"value":{"entity-type":"item","numeric-id":2634703,"id":"Q2634703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd079f79bea06f3de4a3b4c8f632cee1044ab7e","datavalue":{"value":{"amount":"+0.850354015827179","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":"Q451077$C6A69985-9FAC-4B05-86A8-D72EDD504253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94877c64ea7eb0b3544480d7c97e1170594165eb","datavalue":{"value":{"entity-type":"item","numeric-id":5928632,"id":"Q5928632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5e464970365a12518591190ae0adebf0e3b916","datavalue":{"value":{"amount":"+0.8246386647224426","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":"Q451077$C228D119-22B4-4E63-A62C-9F9F66F5FA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb417e0eaa6a0cb73bb2c81fed2c9a7a665a7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":934888,"id":"Q934888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d1cff2119188d1a2339c5398c8751cc5093e0b","datavalue":{"value":{"amount":"+0.8029671907424927","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":"Q451077$E22AA589-F822-4739-A5B2-7878AFF3DA40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A refinement of Stone duality to skew Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_refinement_of_Stone_duality_to_skew_Boolean_algebras"}}}}}