{"entities":{"Q651431":{"pageid":653280,"ns":120,"title":"Item:Q651431","lastrevid":63326802,"modified":"2026-04-11T12:07:01Z","type":"item","id":"Q651431","labels":{"en":{"language":"en","value":"Priestley rings and Priestley order-compactifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988085"}},"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":"Q651431$F8244B2A-30CC-4F3F-9524-BCA7F10C756A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745af78d4e09d52bbecd988a18b00de15dac040a","datavalue":{"value":{"text":"Priestley rings and Priestley order-compactifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651431$913AA301-8AAC-450B-B752-FD776A4109AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04dfc651f13a780beccc320a3d1835fc1942a715","datavalue":{"value":"1231.54012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$297CF85F-D085-466B-B36E-7A82DCC4EEFD","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":"Q651431$6A931091-8537-4F73-86BF-9FC80A6B9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0ac4d1cb62b97c78ea4b7512361f97c99bd36b","datavalue":{"value":{"entity-type":"item","numeric-id":215952,"id":"Q215952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$FCF54ABF-4AB8-4A23-A32A-A494EE3A0853","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":"Q651431$8901E409-1473-40CA-9BDA-ECED1F3047D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8dde442ada8762d09aaf38733ecbd468f3c1db1","datavalue":{"value":{"time":"+2011-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651431$CA009BF4-B99F-45A7-B73F-7758E600B424","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0ce4fad18eb0f78b1f8155a03be860bbf01099b","datavalue":{"value":"The authors study partially ordered sets by introducing the concept of Priestley rings of upsets. They prove that the family of non-equivalent Priestley ring representations of a distributive lattice can be put in bijection with the family of dense subspaces of the Priestley space of the given lattice.  Furthermore, the authors also introduce the concept of Priestley order-compactifications as well as that of Priestley bases of an ordered topological space, proving that there are isomorphic.  Classical results due to \\textit{H. Bauer} [Arch. Math. 6, 215--222 (1955; Zbl 0065.03901)] and [\\textit{Ph. Dwinger}, Introduction to Boolean algebras. Hamburger Mathematische Einzelschriften. 40. Heft. W\u00fcrzburg: Physica-Verlag (1961; Zbl 0102.02502)] are generalized throughout the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$92FC87AC-752A-4331-8F7D-FB37C3E67226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$D4B53ADF-A024-4001-B283-797222F7FE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$FAA2B6ED-8557-456F-84CF-D43CADB27085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$559450FE-FD0D-4E70-97DB-80C747115E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$FD57FBE8-B5CB-4B10-A7C7-E5AEC0AF88FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7696be79109cd0e90b63469587be250259d05664","datavalue":{"value":"5988085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$CA849D13-1564-4253-8BDA-3AC88E5B95E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9401fde07161582e9975765298f03f1a72a1fd6","datavalue":{"value":"ordered topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$42874DCD-3F4D-41AE-AD5D-70B3F5EAA4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d457c6aee1a63675ec8c02790536128f63a13e","datavalue":{"value":"order-compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$4BBC3511-C50C-4035-BDE4-BF1C0B6D20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$A870B659-BBC0-43BC-88DF-7B3ECBD3CC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4c1d1575eedf8fbbdbaa59c1a66149f41315e7","datavalue":{"value":"Stone space","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$E9652C2B-4ACE-4782-BDE2-EB522D4AC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$3FAA2DBD-2419-4943-B5F6-273E5FAED37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q651431$1DB44ABC-FE1D-4083-B1F1-477BD6806701","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fa21ecaacc12bb0bcfd72d633203cf00d6d5bc64","datavalue":{"value":{"entity-type":"item","numeric-id":166348,"id":"Q166348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$AF8243C7-87BE-4450-A71A-55025983439E","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":"Q651431$83C8DEC9-6A58-4493-88A5-6EA21242AC13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6569f1ce2b288dc75fae1f711f9e450d579ed44","datavalue":{"value":"https://doi.org/10.1007/s11083-010-9180-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q651431$02391887-A1F0-417F-8DCE-7595309A977D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d031938fcf495f0784b2219f624204144f11e4e9","datavalue":{"value":"W2167749688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$73833349-F1A2-4636-BD8D-202CF9C4FF57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b920ad5bdf476bac246f251c6a37e14db445238","datavalue":{"value":{"entity-type":"item","numeric-id":5848693,"id":"Q5848693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$C884B12E-222C-42C2-A514-B93E8A9527BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793e2c704b803582874f51b1fa7a30efefdb9825","datavalue":{"value":{"entity-type":"item","numeric-id":2653684,"id":"Q2653684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$E4CFABE0-72FC-4E43-9A4B-8ABAB66D1EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6970bbf4ad166965fe9c3ede0fab9f3361115540","datavalue":{"value":{"entity-type":"item","numeric-id":1014528,"id":"Q1014528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$BF6C04EE-4BD3-494A-8338-99A5D69B00AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$85D3BC50-7916-4A6B-AB1A-CAF8F25F3700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5502b6081b593541d7ac8dcca2c6e447d073612","datavalue":{"value":{"entity-type":"item","numeric-id":3858918,"id":"Q3858918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$BA7124B5-7920-4653-A4B4-A86CB4FAE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db84f34ec74672084a6cbe4ecfcf897db31b8725","datavalue":{"value":{"entity-type":"item","numeric-id":4111635,"id":"Q4111635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$569AC9EE-4B60-43C3-B2D3-25D971761177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899b3c7e05111753ab81e4e6fbe78624e07d2086","datavalue":{"value":{"entity-type":"item","numeric-id":3284639,"id":"Q3284639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$2CEFB2BB-432C-4FB5-BDB5-9C54CE2D54F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$1F5F627D-6414-4B6F-9346-44D31874D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120ef1c7f07ee949671e8a3372ce09d920a25a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5556262,"id":"Q5556262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$B84E4027-7964-44F7-817D-9B66AC609833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3146e4b10ae1fc741e35a34785d2fd67dfba9d","datavalue":{"value":{"entity-type":"item","numeric-id":5640401,"id":"Q5640401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$DB2D3B67-6963-4ABA-AD96-5C05B4798165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993dc76d8e13ecaae2614a584d780fff51f55da","datavalue":{"value":{"entity-type":"item","numeric-id":5575305,"id":"Q5575305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$B300A75F-D7F0-449A-BBF7-B3D328B97C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf8e9e50b2a58a68f3afae4afa50f57469a92","datavalue":{"value":{"entity-type":"item","numeric-id":5340517,"id":"Q5340517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$2CC45BA1-2AF4-4325-9363-4B771C31D748","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":"Q651431$8AC182D3-76E7-4348-BA66-D26E0DF7C259","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":"Q651431$3D62A591-9AA0-4F11-B040-D46DA388F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f4138c53d7b712ed337917d753f2d4d919bf2d","datavalue":{"value":{"entity-type":"item","numeric-id":1207240,"id":"Q1207240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$029BF54C-B9E7-4B30-BD28-BEA1E3C84292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$6EB35E72-7CA8-42B6-AFD8-BE66C1A34485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651431$61CB651D-2E37-41D0-B566-9A70DDF361A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c05ab0757c85889cb146da03e9a4c635359620a","datavalue":{"value":"10.1007/S11083-010-9180-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651431$BB01A42D-C249-428E-80BF-FB235690EE5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3860a31fd661317422875344e9ce0ea228439286","datavalue":{"value":{"entity-type":"item","numeric-id":3994023,"id":"Q3994023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478fc329716094c433432554c0a8d564a280ff7a","datavalue":{"value":{"amount":"+0.7770474553108215","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":"Q651431$C8378492-C8BC-4909-BD9B-2A31FA5E7960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadc9e193c70c9227e7724c1c82b8e0ec1fadd4a","datavalue":{"value":{"entity-type":"item","numeric-id":3140367,"id":"Q3140367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd562faa945fa77f3cdb11df365d8c33b9ea6d99","datavalue":{"value":{"amount":"+0.7749361991882324","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":"Q651431$64C1D827-0570-4149-8C5A-29D09B1100DA","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":"8b800ad1249fb56f2deb65320f04d07c2c4d0894","datavalue":{"value":{"amount":"+0.7739925980567932","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":"Q651431$1C607C4E-11EE-4FD1-AD4A-DC1E8E0A752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9882d79993efda56655212c5e78f2f2a04f06b02","datavalue":{"value":{"entity-type":"item","numeric-id":3476856,"id":"Q3476856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06158e75afb7f044b809ef55d3817f1f578a6e0e","datavalue":{"value":{"amount":"+0.7699952721595764","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":"Q651431$0933C2C3-72B4-4912-AE26-489761FFB081","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":"035e6973bc8e7509b5be21559c8e10b366017cd4","datavalue":{"value":{"amount":"+0.7595037221908569","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":"Q651431$0B1D2487-C6C5-4D36-A59E-BAEF1E354B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priestley rings and Priestley order-compactifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priestley_rings_and_Priestley_order-compactifications"}}}}}