{"entities":{"Q5932482":{"pageid":8109284,"ns":120,"title":"Item:Q5932482","lastrevid":41788813,"modified":"2025-05-08T08:38:08Z","type":"item","id":"Q5932482","labels":{"en":{"language":"en","value":"Ideals of Priestley powers of semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602888"}},"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":"Q5932482$52C25CBC-8FFC-4029-879D-E6FDA74E87EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e60fa41e30c334870368a8bc618448f2a84f518","datavalue":{"value":{"text":"Ideals of Priestley powers of semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932482$1B74AC48-1A48-456F-AC11-6223792BCA3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d605b965791cad7b1f7e4c5c69343d379a810333","datavalue":{"value":"0966.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$026D36E1-6925-4F21-BB7F-09AE24528E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d54c998daacd6401917ca0489f9f72eadb60c7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1040826,"id":"Q1040826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932482$DE290D6D-8CA8-41B9-9BA7-8B33B4DAAF73","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":"Q5932482$728954A0-78FB-4E5A-869C-97B57CA0F44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932482$DC88595D-4458-4F78-BF69-7DAF728BB375","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1889d1d309ba25c30f265c1cf884a64df438afc2","datavalue":{"value":"Let \\(P,Q\\) be ordered topological spaces, let \\(P^Q_\\tau \\) be the poset of continuous order-preserving maps from \\(Q\\) to \\(P\\) (the latter being endowed with the topology \\(\\tau \\)) and let \\(P^Q\\) be \\(P^Q_\\tau \\) where \\(\\tau \\) is the discrete topology on \\(P\\). Suppose that \\(\\Sigma \\) and \\(\\Lambda \\) stand for the Scott and the Lawson topology, respectively.   If \\(S\\) is a \\(\\vee \\)-semilattice, \\(S^\\sigma \\) its ideal semilattice, and \\(T\\) a bounded distributive lattice with Priestley dual space \\(P(T)\\), it is shown that the following isomorphisms hold:  \\[ (S^{P(T)})^\\sigma \\cong (S^\\sigma)^{P(T)}_\\Sigma \\cong (S^\\sigma)^{P(T^\\sigma)}_\\Lambda . \\]  Moreover,  \\[ (S^\\sigma)^{P(T^\\sigma)}_\\Lambda \\cong (S^\\sigma)^{P(T^\\sigma)} \\text{ if and only if }(S^\\sigma)^{P(T^\\sigma)}_\\Lambda =(S^\\sigma)^{P(T^\\sigma)}, \\]  and sufficient and necessary conditions for the isomorphism to hold are obtained (both necessary and sufficient if \\(S\\) is a distributive \\(\\vee \\)-semilattice).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$3DE41219-DEEF-4E7E-9236-02A6EC86342F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932482$4AAE5439-EAA6-44AA-88B9-1BBF2306F37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$B92A0A78-697B-4E1F-9984-2D62B21B2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$37FC6D8B-AB4C-497F-B925-5D145037C590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8788b0d4fdc95fbda827c15c34908fa6b990686d","datavalue":{"value":"1602888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$3E8309E6-2306-4895-968E-7BEA1F9B4290","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e2737ab7476bc9dcbe3a513da8791bbc4f70d5","datavalue":{"value":"function semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$E52E85D9-9069-43EB-B1E6-7CCAEE27313D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddaf44d782a362d96808bffaf1f84a0fccaef106","datavalue":{"value":"ideal semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$0A05D699-CFC8-43F4-B215-4C47E7A8089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$7BB32203-C9CA-4872-BD18-4BA83481D1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$565D2FD8-301B-4482-9497-1D82E195DE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$2E3DFAF0-31BA-4319-9B96-2258F8A3C171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139c362d8aff0d65525f55d23b745f22d126d755","datavalue":{"value":"Lawson topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932482$3E27227D-A925-4757-BF13-B01572603963","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":"Q5932482$793BE41F-1D41-40CA-A4FA-5EFC9EE9CD6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c821d521ec381a323f595e1d45878b83737c7a3","datavalue":{"value":"https://doi.org/10.1007/s000120050114","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932482$A5EC93B1-CE96-4DDB-94B6-20030FFA0E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f41dbb82f8c52774930657a6df36e5c5b4a11e02","datavalue":{"value":"W1971504868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$38FD216D-BDFB-49A5-8D42-38A08AA2D373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093651830ede8db9d05886b41d2c14ed0b508469","datavalue":{"value":"10.1007/S000120050114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932482$360C6487-8D65-41A8-80BD-E3C69C3C234A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca44e55910a05b11fd9dd3f833bfee3d7db1f79d","datavalue":{"value":{"entity-type":"item","numeric-id":4761396,"id":"Q4761396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4124fb23b10c50454ae7786a11f2db132c9f1476","datavalue":{"value":{"amount":"+0.9189449","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":"Q5932482$7AD96C44-4DBE-4330-8E39-877009C78EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ef479d3a98d0eb5b849648e80aeea6feb11fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4484695,"id":"Q4484695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76036cd0527bd27980bcd77ccabeb526cd24596e","datavalue":{"value":{"amount":"+0.9135741","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":"Q5932482$425DEBB9-C75D-46DE-B9B6-DBD6B9AD8DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657899f46dd41a33ce5c72f51d12f6194b310189","datavalue":{"value":{"entity-type":"item","numeric-id":3374721,"id":"Q3374721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dada1bd473325d6d44d26bb97858200b6ef57a27","datavalue":{"value":{"amount":"+0.90684134","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":"Q5932482$8BFB4AAD-20FA-4D09-BDC4-A59356EE67FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25887fa05cfc94d638f5c435460ae2a8c89a9f5","datavalue":{"value":{"entity-type":"item","numeric-id":2977652,"id":"Q2977652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5a3a8498ad2bd742b3781625d63b03eef71a8e","datavalue":{"value":{"amount":"+0.8996779","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":"Q5932482$C4E45F95-C3EE-4E1A-AEC1-97673A854CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eace6d4c0d2f034044a56b73dcfa8eee0fbd25ec","datavalue":{"value":{"entity-type":"item","numeric-id":5134115,"id":"Q5134115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ccc27042aac28bcd70a7971c61a382b7f53e2f","datavalue":{"value":{"amount":"+0.89761096","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":"Q5932482$EACDDCAE-237F-4AE4-AA74-CCE3553B7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69dfc1973b0c15c87d65f446f26e8bca8e89ff2","datavalue":{"value":{"entity-type":"item","numeric-id":3075118,"id":"Q3075118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bea934e20f286872c3b6b3deb5ffe2673a5469","datavalue":{"value":{"amount":"+0.8973717","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":"Q5932482$9DEF94F6-4B94-4BD7-A1AC-60DBAC03018B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b89d20061f0fda019845fa4fb2b7b91e8e8146","datavalue":{"value":{"entity-type":"item","numeric-id":4884085,"id":"Q4884085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039cf54e1dac53492cff285a8004c83cd86a2d1a","datavalue":{"value":{"amount":"+0.89658463","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":"Q5932482$C4B78389-9110-41A2-B1F8-AA2366283934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c607834f7e50c33ff11df17ac412f8383574d3","datavalue":{"value":{"entity-type":"item","numeric-id":5456569,"id":"Q5456569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9c6e6ffa0545db23eff3305486868211bd9a8d","datavalue":{"value":{"amount":"+0.89538157","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":"Q5932482$90366592-B1D0-408E-8B0C-4FD8B13EBB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc8c5943c5aaa18861a4665e21b51295c81d119","datavalue":{"value":{"entity-type":"item","numeric-id":3291568,"id":"Q3291568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba9a7afcad3f79a7140590a52e25c064075ac17","datavalue":{"value":{"amount":"+0.89072794","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":"Q5932482$2CB60590-B183-40DB-A92B-F13895B07DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1788dc68ace8e569f2c38d8e473898fb7b849c","datavalue":{"value":{"entity-type":"item","numeric-id":5243688,"id":"Q5243688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdc461a80c4bb86650bfdfcf9568a38d1c468d6","datavalue":{"value":{"amount":"+0.88593674","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":"Q5932482$15954F13-86AA-41F0-AC63-8D1FE267A6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932482"}}}}}