{"entities":{"Q1016093":{"pageid":1017941,"ns":120,"title":"Item:Q1016093","lastrevid":69423276,"modified":"2026-04-13T06:54:11Z","type":"item","id":"Q1016093","labels":{"en":{"language":"en","value":"Topological duality for Boolean algebras with a normal \\(n\\)-ary monotonic operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5550517"}},"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":"Q1016093$2FCD6325-80A6-482E-B935-372FA0EF1B51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a94a6429f1c7a16a6719665ac20aac7cf9d44f9","datavalue":{"value":{"text":"Topological duality for Boolean algebras with a normal \\(n\\)-ary monotonic operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016093$F8673886-20FC-4D3A-AEBC-0E949D3FDBAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf440265faf2f27f1c6c913ac4c086fd2bd15e98","datavalue":{"value":"1196.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016093$2CB3BC52-9495-4331-AC2B-05BF9480323E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$9AC18E16-7A83-4B38-BDAB-61EC2B528B1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$DE2F5178-9EDC-47DE-8ADD-0C663C9CCB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86de3865074070f9a1849bf514f6344b0ec7d876","datavalue":{"value":{"time":"+2009-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016093$796F6AAF-C480-45D6-9227-92A5509FDEE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"882590737f3558e5c80ceedf52ce4fb8b04f94c9","datavalue":{"value":"A Boolean algebra with a normal monotonic operation, for brevity a BAMO, is a pair \\((A,\\diamondsuit)\\) such that \\(A\\) is a BA and \\(\\diamondsuit\\) is an \\(n\\)-ary operation which is monotonic (for all \\(i<n\\), if \\(\\overline{x}=\\overline{y}\\), except that \\(x_i\\leq y_i\\), then \\(\\diamondsuit(\\overline{x})\\leq\\diamondsuit(\\overline{y})\\)) and normal (if \\(x_i=0\\) for some \\(i<n\\), then \\(\\diamondsuit(\\overline{x})=0\\)). This paper develops topological duality for BAMOs. The topological dual consists of certain structures of the form \\((X,R,\\tau)\\), where \\((X,\\tau)\\) is a Boolean space and \\(R\\subseteq X\\times C_0(X^n)\\), where \\(C_0(X^n)\\) is the collection of all nonempty closed subsets of \\(X^n\\); the exact definition is lengthy. These structures are called descriptive frames. This duality has properties quite similar to classical Boolean duality. BAMO subalgebras correspond to certain equivalence relations on the dual, and BAMO congruences correspond to certain closed sets in the dual space. This duality is used to characterize simple and subdirectly irreducible BAMOs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016093$6039DD04-0227-4FA8-AC76-F1DA67C9FD59","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$B42279FF-0ECF-4AF3-9ABF-A763FEC87A04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016093$976AE4B4-CC68-4082-8AE5-B4CD5406047B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a3119278de1b8d93b9519496919e45c41f2610d","datavalue":{"value":"5550517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016093$85EA4EE6-FACA-4382-B523-F33CB0B42E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4073f920e1ca9e1982bc89372a9ddf00607c1c","datavalue":{"value":"topological duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016093$341FF6C3-2DEA-4C42-A277-6B16CF397F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016093$C3DCDE6B-3BCD-4314-B5A7-2C726511768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b51df3550879ad6492b5b8b658d96dd79b3598b","datavalue":{"value":"normal monotonic operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016093$93678DE5-15B3-4957-96EA-B5CA75F5044C","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":"Q1016093$D187D944-5F72-4B89-BD00-9A6CFE028534","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d28dd680c78b651b88005f61549823c6f02083e9","datavalue":{"value":"https://doi.org/10.1007/s11083-008-9106-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016093$6399AA3C-3837-484B-B33B-9C0584637B56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e0c00d0103c21e0e5b63f27423b85de40d173a2","datavalue":{"value":"W1979839207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016093$663B901C-539C-4CB0-9316-401B3B15E98C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$67AE5FFF-907C-4A95-91FE-AC8A4390A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$4B1771F4-137E-4835-BFA7-DD29CDDBBB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$2B2F4FFD-4B6A-4301-88D9-441F5E2A37C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac21d3f5729f002c3ec19b8645318bcc7f887b94","datavalue":{"value":{"entity-type":"item","numeric-id":4893674,"id":"Q4893674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$0B606AE1-C525-48A4-A80B-EEF6F18717E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$A7A6CEA1-3FF3-4AB1-B7DC-1754F175A50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$3FBE2413-7EDB-4B8F-A8E6-116112B04337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$8A369666-F2AF-4185-A6ED-84E14CA84610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$130F2AC9-33F6-4304-BE5A-84DCD7999112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a927dfbb71a9201c0aeb556234a4b8650094ce26","datavalue":{"value":{"entity-type":"item","numeric-id":1876093,"id":"Q1876093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016093$4BD007B9-4832-4E4D-95F9-38EA07054D41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9494e3248197f71e97479a9374bfb9f9bf2ca927","datavalue":{"value":"10.1007/S11083-008-9106-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016093$E2066236-D5BD-493C-BE76-95202AF62931","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0d30cb8ade5b782c1fa6c884ccfd2a5d92594e","datavalue":{"value":{"entity-type":"item","numeric-id":5187280,"id":"Q5187280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775efc3031db133f2a830e528f9617cbd87fa7b1","datavalue":{"value":{"amount":"+0.8977649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$053BFA7B-8BC0-4322-9D01-3A2DCE48C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16574ddfff44eb86ad3f3098df17db9a404a5efe","datavalue":{"value":{"entity-type":"item","numeric-id":2105676,"id":"Q2105676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35394681a3a9491f2465a7c3e9dd568faee56022","datavalue":{"value":{"amount":"+0.8820057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$11EC7D38-F4FB-4BD2-98D2-1B5016D8ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d23082c52ce7fff378e806988d9e9a7783f1fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4319724,"id":"Q4319724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7fa8140377f24a84508380a4688d2581c6bc75","datavalue":{"value":{"amount":"+0.880994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$38C59D19-512D-48C8-A60B-A8F1F0B41144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ca48c6cbabce1a8747079ffc7f51f9acb422fd","datavalue":{"value":{"entity-type":"item","numeric-id":1703683,"id":"Q1703683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedcf535de4ad3364484737385cfcab5e670d2ef","datavalue":{"value":{"amount":"+0.8767319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$F4443BB0-968A-414F-BA87-D6465B503CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30e338270f360f88c710f72ce846a365b396e71","datavalue":{"value":{"entity-type":"item","numeric-id":5419017,"id":"Q5419017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d223d6a9fc1c89387097dc4ce92d77f29076c9d5","datavalue":{"value":{"amount":"+0.8752641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$FE8DB411-F148-43C7-ADFB-6CD5E877488C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18bf634ea3980b312aa1b253c5a76889810dffea","datavalue":{"value":{"entity-type":"item","numeric-id":2697416,"id":"Q2697416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0191b612aec024efe10ad25f811c0c02b561498","datavalue":{"value":{"amount":"+0.87271446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$78158E4A-7D0F-4979-AEC9-BE2A0F602EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a94c50f66863231fe0ea84f9c661344f65f298c","datavalue":{"value":{"entity-type":"item","numeric-id":4234951,"id":"Q4234951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f41fc95b9efd830f77214d4c174553542af16d","datavalue":{"value":{"amount":"+0.87170583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$F7079F18-31D8-4C22-BEC0-9D7DBEC461ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456a8eae61efab27456b8972b8ed33d41f0bd9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5720407,"id":"Q5720407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca9b79a34496767a3d4b061a6d3ac2749e4c3eb","datavalue":{"value":{"amount":"+0.8716663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$EFE1F6CD-F96B-4D0C-BC50-DF1780F092E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c352c912217493d616248b035b38b10a37586ca","datavalue":{"value":{"entity-type":"item","numeric-id":3510451,"id":"Q3510451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081049522da00ddb29a119683d688e8a2c5efd49","datavalue":{"value":{"amount":"+0.8632868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$AEF05FFB-71C9-4678-9FC1-0ADC0DA7CDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c179e6d80d6715cb6411e5398dd972da9e05058","datavalue":{"value":{"entity-type":"item","numeric-id":5212298,"id":"Q5212298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f001a0818ad2935dd413904be0ce58afe0aa47b4","datavalue":{"value":{"amount":"+0.861251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016093$D141B239-E868-48A0-BF68-875DA8BFCA67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological duality for Boolean algebras with a normal \\(n\\)-ary monotonic operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_duality_for_Boolean_algebras_with_a_normal_%5C(n%5C)-ary_monotonic_operator"}}}}}