{"entities":{"Q5962336":{"pageid":8139138,"ns":120,"title":"Item:Q5962336","lastrevid":58634037,"modified":"2026-04-06T02:43:14Z","type":"item","id":"Q5962336","labels":{"en":{"language":"en","value":"Compactable semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789865"}},"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":"Q5962336$E83C0AB0-3F5E-433E-BFE0-F09B08462269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c45bb6a5012527dca0f769c66a0065050bcde7c7","datavalue":{"value":{"text":"Compactable semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5962336$615A1ED9-399C-48D3-9046-2F683AACFAEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c107f73c6e0139de0c4cda3d9d269855b4ceb535","datavalue":{"value":"1208.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$C3735C76-9D8E-4208-A5EA-7CAEEF3FD7D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$20188AEC-9D06-4194-A1AE-69EFA7D518B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$F756CA6D-503A-4448-B08C-23886DF18A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b2904eff86426f95e88b9dd8d319f8bbec23558","datavalue":{"value":{"time":"+2010-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5962336$A03532A2-8DB8-4296-9DA6-DFA9E4BB6982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46fda9c4e134e36b8ae35d907ea0af42ab85a895","datavalue":{"value":"https://arxiv.org/abs/1003.1925","type":"string"},"datatype":"url"},"type":"statement","id":"Q5962336$DB6ABC48-2A6E-4BBA-8316-9B31B259816F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8065b604213b36b4a6fa47ca08238b0f321928f","datavalue":{"value":"The purpose of the paper is to characterize those semilattices that give rise to Boolean spaces (also known as Stone spaces) on their associated spaces of ultrafilters, semilattices which the author calls compactable. In what follows, by ``semilattice'' we mean ``meet-semilattice with both 0 and 1''. The author proves that a semilattice is compactable iff every of its tight filters is an ultrafilter, both by using previous results on tight filters and compactable semilattices, and directly, starting from the definitions of these notions and a series of lemmas he proves. Then the author obtains criteria for compactability that only use ultrafilters, at the cost of restricting the class of semilattices considered. He uses this research to obtain a characterization of \\(0\\)-disjunctive semilattices, which are important in the theory of congruence-free inverse semigroups. Finally, the author gives examples of compactable semilattices which are not Boolean algebras, thus proving that this theory that he has developed is not vacuous.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$61351DCC-85AF-48DA-BD38-EB7AB682B28A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2a766fa4580d586548716dae8fdf9871fa9222","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$7AE0EBC7-5410-4B0E-A415-1AF143CB095E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$B2D2B828-F36B-43AC-AAFD-150F120B7ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$358C04E6-85FF-44CA-85F2-F600EF791678","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4714cf4ea5eb1a655068b863acf3c5199e316dde","datavalue":{"value":"5789865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$2D87218C-739F-4DEE-8B06-6077904E61D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$5AE78C43-F7B4-4A08-A714-70CF8FC4AF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933bd328adc8d55df396c61306b044bcbb8aad07","datavalue":{"value":"Boolean space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$F9156AD3-3732-4B05-9940-2816EE4B86B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$9BB28BAB-BFA3-4648-AA0F-55A18AB31F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9256724b8e750d74d5ea25645b17fc8bb369e885","datavalue":{"value":"ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$0E2C10EB-E52B-4FDE-B0E6-D1EDA3B52BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660b5edc3ce9ee2068878044661eed3acc101142","datavalue":{"value":"tight filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5962336$57F11A17-5DAA-450D-9145-47A83C306107","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":"Q5962336$4D33F250-574E-45C7-AE59-2AC93CF0CE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0adadb9fbf8d27c9424c1c154c3816e0327f9d3e","datavalue":{"value":"W3037843540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$E09B5770-CFF9-4F21-A99E-9E821758E5BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9a5b377e368bc3aa52a8373dbf1b1c1e128aa8","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$C6CFE7A0-1FD0-4DA8-9E04-D725DA393A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780610de9d89a23766447be07e4aea603f57ce42","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$3C332257-4277-4AE1-8628-F23DD5C8968C","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":"Q5962336$13DFF855-41FF-4FFD-9D1B-95171D7EBCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af92bd600ca240988d9a9ac9f9723fe731925cc","datavalue":{"value":{"entity-type":"item","numeric-id":4115672,"id":"Q4115672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$A055008D-B678-4968-BEC8-EAEFFF163783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2563f1c40d504a061fd4e1dae914308a48de16","datavalue":{"value":{"entity-type":"item","numeric-id":731327,"id":"Q731327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$02B30A51-5298-46FD-8EBC-72C194CA437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c3e257eeddaa8d14a10ca299e5d0472674734a","datavalue":{"value":{"entity-type":"item","numeric-id":1887449,"id":"Q1887449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$1BA9D46A-F4CF-4AD7-B811-8A65187FC114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869f7e4c6642b5f0c8dbfa61fc0debfec6a14f96","datavalue":{"value":{"entity-type":"item","numeric-id":429571,"id":"Q429571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$DACF0CEC-52B5-42E8-BAE7-AD97EC102E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a01e5b9974cfc1cbb13f4f82ead91b20936bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4487693,"id":"Q4487693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$7A6EA039-BBDE-4413-BEE0-C3E2C78EE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b2c035f143bb4822fe087df4530c16c4d5bbc0","datavalue":{"value":{"entity-type":"item","numeric-id":3520176,"id":"Q3520176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$DC545867-EE4E-4389-86C3-CDE4D542F452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6251a8ee97a99322490474b7185859a720ab8188","datavalue":{"value":{"entity-type":"item","numeric-id":4087437,"id":"Q4087437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$81FC1326-09B0-4E58-9CA9-423A531D6038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d5a51538f2af088e6b8405039209f4493199b2","datavalue":{"value":{"entity-type":"item","numeric-id":3031025,"id":"Q3031025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$89307457-AE1B-40EB-9128-A04DFB5A4AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$3DC059FD-2C1D-4373-9488-AAC830065CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e8b2ed8881835aa5763936c8275927b62675b","datavalue":{"value":{"entity-type":"item","numeric-id":1139263,"id":"Q1139263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$F372EE08-67C1-4777-9300-086984BD0642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75751a56f8a6eef89e9ad58479d12062c05fd6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3290875,"id":"Q3290875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$38CEDB65-F7A5-4435-9F65-E881DDE28323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5962336$0F1EB957-771C-4AA2-AE8A-14DD5E3732ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede148aba82b604e98fa130b4deb15e6123bac75","datavalue":{"value":"10.1007/S00233-010-9245-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5962336$CEFF1CC7-7041-4A66-8805-130B0F44081B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0ebc3a75512e60a275d3392fac23b129c58597","datavalue":{"value":{"entity-type":"item","numeric-id":2957935,"id":"Q2957935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafdea3bd7ebdfc563277fb665ad7385b46ed034","datavalue":{"value":{"amount":"+0.7890886664390564","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":"Q5962336$CD273F42-3888-4F6C-B858-1B5CBE681351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cf88451b0c5e068e78eedb6a18f815609c6975","datavalue":{"value":{"entity-type":"item","numeric-id":788753,"id":"Q788753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466a9c6a55d7b1bd3b4b2fdd2dea0006675b6e5d","datavalue":{"value":{"amount":"+0.7494202256202698","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":"Q5962336$106F9580-1CB0-4834-BEB8-111F811FB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158452582592f0c376f4e07f843852a14998b17d","datavalue":{"value":{"entity-type":"item","numeric-id":5946447,"id":"Q5946447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6327a0749d73b2f32c0dbc5bd8599f920f6a889","datavalue":{"value":{"amount":"+0.7421684265136719","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":"Q5962336$D1FA05A3-3C3C-45B4-96CB-83FB0D4F1B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656949a5c0ec3dc3a46962b646c627a6907542a6","datavalue":{"value":{"entity-type":"item","numeric-id":4451640,"id":"Q4451640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da933fe03da8799b7624a9bb9cea2c7ffe452f9","datavalue":{"value":{"amount":"+0.7291334271430969","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":"Q5962336$CDAD7E2E-6616-4CDC-A9A2-3F66A0681FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112218cff78456e78e96895dff6889b1760564e8","datavalue":{"value":{"entity-type":"item","numeric-id":4828796,"id":"Q4828796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aaedfcaafb29b39939227ec33f1e085a2cc0188","datavalue":{"value":{"amount":"+0.7238494753837585","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":"Q5962336$E0F1CCAC-D7FB-455A-9377-95FE5C18CC62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5962336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5962336"}}}}}