{"entities":{"Q763299":{"pageid":765148,"ns":120,"title":"Item:Q763299","lastrevid":64193382,"modified":"2026-04-11T18:15:21Z","type":"item","id":"Q763299","labels":{"en":{"language":"en","value":"Priestley style duality for distributive meet-semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013467"}},"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":"Q763299$7D946361-FFED-457E-94BA-DE7B1553475F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d919ea674eaa49e07e34582a1ea0428537207d8","datavalue":{"value":{"text":"Priestley style duality for distributive meet-semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763299$298DF3D3-2002-487B-98F6-736803C0F3DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d39ce64558b5c3024a837ee637c01e11d066ef","datavalue":{"value":"1238.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$BB6C6CAA-77D7-48E4-B5B8-27AE495FA5FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$62142F38-5193-4A44-B303-6EF8C247646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$D1B32CE0-AB10-4D36-9C2C-7D0C2EDB0AC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$30A24F2E-06A3-4EC8-8AC0-67DD8BCC29EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763299$E7096C7D-22C2-4EA5-AEA7-11A736D11651","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"405ab63fb79b1e67f4b189916eb8dea6d7628d10","datavalue":{"value":"The authors generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. A structure \\(X= \\langle X, \\tau, \\leq, X_0\\rangle\\) is called a generalized Priestley space if  1. \\(\\langle X, \\tau, \\leq \\rangle\\) is a Priestley space.   2. \\(X_0\\) is a dense subset of \\(X\\).   3. For each \\(x\\in X\\) there is \\(y\\in X_0\\) such that \\(x\\leq y\\).   4. \\(x\\in X_0\\) if and only if \\(\\mathcal{I}_x\\) is up-directed.   5. For all \\(x,y\\in X\\), \\(x\\leq y\\) iff \\((\\forall U \\in X^*)(x\\in U \\Rightarrow y\\in U)\\), where \\(X^*\\) is the set of \\(X_0\\)-admissible clopen up-sets of \\(X\\),  where \\(\\mathcal{I}_x = \\{ U \\,|\\, x\\not\\in U \\;\\text{and} \\;U \\;\\text{is \\;an} \\;X_0 \\text{-admissible \\;clopen \\;upset \\;of } \\;X\\}\\).  Concerning the bounded distributive meet-semilattice, they prove:  Theorem 5.8 (Representation Theorem). For each bounded distributive meet-semilattice \\(L\\), there exists a generalized Priestley space \\(X\\) such that \\(L \\cong X^*\\).  For generalized Priestley spaces \\(X\\) and \\(Y\\), a relation \\(R\\subseteq X\\times Y\\) is called a generalized Priestley morphism if the following two conditions are satisfied:  1. If not \\(xRy\\), then there is \\(U\\in Y^*\\) such that \\(y\\not\\in U\\) and \\(R[x]\\subseteq U\\).   2. If \\(U\\in Y^*\\), then \\(\\square_R U \\in X^*\\), where \\(\\square_R U = \\{ x\\in X\\,|\\, (\\forall y\\in Y) (xRy \\Rightarrow y\\in U)\\} = \\{ x\\in X \\,|\\, R[x]\\subseteq U \\}\\).  Then, for the category \\textbf{GPS} of generalized Priestley spaces and generalized Priestley morphisms, they prove:  Theorem 6.9. The category \\textbf{BDM} is dually equivalent to the category \\textbf{GPS}, where \\textbf{BDM} is the category of bounded distributive meet-semilattices and meet-semilattice homomorphisms preserving top.  The result above is extend to non-bounded cases. A structure \\(X= \\langle X, \\tau, \\leq, X_0 \\rangle\\) is called a \\(*\\)-generalized Priestley space if  1. \\(\\langle X, \\tau, \\leq \\rangle\\) is a Priestley space.   2. \\(X_0\\) is a dense subset of \\(X\\).   3. \\(x\\in X_0\\) iff \\(\\mathcal{I}_x\\) is non-empty and up-directed.   4. For all \\(x,y\\in X\\), \\(x\\leq y\\) iff \\((\\forall U \\in X^*)(x\\in U \\Rightarrow y\\in U)\\).  For the category \\textbf{GPS\\(^*\\)} of \\(*\\)-generalized Priestley spaces and generalized Priestley morphisms, they prove the following result:  Theorem 9.2. The category \\textbf{DM} is dually equivalent to the category \\textbf{GPS\\(^*\\)}, where \\textbf{DM} is the category of distributive meet-semilattices and meet-semilattice homomorphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763299$3742C1A3-0F00-499D-A89F-E3BE70603BEA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$FD6F79A3-59F5-46F4-A632-5D0A3BBF7FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$92E66C27-2C9C-4B42-86FA-7A30ACB7D63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$C1CEE06C-BBD9-45AF-82D7-B6061D629308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$9EC7615F-1FED-4522-8A71-52964CE50E83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f3f6302f1f7e4c99e3486217c7c0ab4b8723b3","datavalue":{"value":"6013467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$9413824D-F14B-4C42-A18A-54EB1F18D822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04165a5901182e9a47248ebdbf99e58e1db85043","datavalue":{"value":"distributive meet-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q763299$4CEC9959-C6C4-4FDC-94B8-80F2C6479813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q763299$4934B333-48EF-433F-96A3-B329E9E8720E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q763299$5B5FBDA2-F859-41BC-A78A-3BFBB5291991","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":"Q763299$D4A11E60-BCB8-476C-AD9C-5B9A92269641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52e57cf2c1f033a372bf16f1356c4d6f264f9d1b","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9323-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q763299$47532838-2D6B-4A5E-8F03-8CFE42D502F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a49bb1976a3fb2eb0d4c12a9994dac4347021016","datavalue":{"value":"W2036781278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$66D57AD4-631C-4613-AFE1-76CC292E2B4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$E8D0E943-76DD-4FD0-BED5-915C13B95F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0eeabb40e1827e3165c65d0283d526a8b6225d","datavalue":{"value":{"entity-type":"item","numeric-id":4436398,"id":"Q4436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$EB3F6249-FE07-4960-A83C-C460EBDD4900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c0f2209237e3c209cfc9a16a35fcba09d7f130","datavalue":{"value":{"entity-type":"item","numeric-id":2471003,"id":"Q2471003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$9ACB35F2-F648-46AF-AE9A-837862B8CD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$BD557F0C-5C48-4E1F-9115-DD4C71DD3830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$FB2103C0-D67F-4293-923C-36ED217EE102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$598826F7-2602-469F-907A-96A14FDD425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3e616b6ae24c3caa0dc1b613377f9a3e44ef7c","datavalue":{"value":{"entity-type":"item","numeric-id":5270289,"id":"Q5270289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$2B657570-38E7-4D0D-8F3C-B79D71F0B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b860d55358cf9bf632727f4b5877c912171b1b11","datavalue":{"value":{"entity-type":"item","numeric-id":2556344,"id":"Q2556344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$8FA639FD-B3A6-4861-A789-613F5ABD1D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$1805C465-7215-42F4-969C-656F89736C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763299$9F35C3EC-4171-43AC-BB42-17CD7604D2EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecacc3ef9d168eab8f372a582529f6d184f7a0bc","datavalue":{"value":"10.1007/S11225-011-9323-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763299$9E40DD51-9380-4DDF-9A8E-2CDDE660D98C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f054fadad1eaaae6d31c6ef0b63f05475e53559f","datavalue":{"value":{"entity-type":"item","numeric-id":5270289,"id":"Q5270289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5787f4af5717c94e2e8c30b615f4b7fab92602e","datavalue":{"value":{"amount":"+0.903506875038147","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":"Q763299$19F84FD9-21FB-4581-AC28-BCAC34A41C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3acc80b9f9244c83ad404a7f834a8f6b7e43187f","datavalue":{"value":{"entity-type":"item","numeric-id":634744,"id":"Q634744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ba5354a6ad641b80dcf6beec2278ba58961a7b","datavalue":{"value":{"amount":"+0.8651188611984253","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":"Q763299$4FCCDC47-0F91-41BC-A9AD-00ACDB3D1C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f595de7ce841fb3b06a7d1eef73264799377e41b","datavalue":{"value":{"entity-type":"item","numeric-id":3817283,"id":"Q3817283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee8af6d4d5cc12f42d34eeda4c343b8dce5e648","datavalue":{"value":{"amount":"+0.8256386518478394","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":"Q763299$E47891D8-1A21-4761-871D-53FF829F1CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c96830bc2b8c768d72e513e51daaddcca251b61","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdef4b58d0fa985d4bac340356e776f500f8528b","datavalue":{"value":{"amount":"+0.8203897476196289","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":"Q763299$288A45E5-5144-42AA-8973-E349DF35677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd9d12575d0973427904f4eedab21dde35f090e","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dd26bd46211addd1cf9fa5f1c15b271cc13065","datavalue":{"value":{"amount":"+0.8128622770309448","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":"Q763299$D74EC9DD-D664-4B51-83AA-23C485C1E620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priestley style duality for distributive meet-semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priestley_style_duality_for_distributive_meet-semilattices"}}}}}