{"entities":{"Q2877060":{"pageid":2887780,"ns":120,"title":"Item:Q2877060","lastrevid":83967758,"modified":"2026-05-07T15:24:29Z","type":"item","id":"Q2877060","labels":{"en":{"language":"en","value":"Extending semilattices to frames using sites and coverages."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6333334"}},"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":"Q2877060$923D7FBE-A9B8-4633-8A48-5B421FE0E0D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab4d6d2f7b0b0ec2fcb39bd3719498ce32a35391","datavalue":{"value":"1332.06026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$85C121A5-CBAB-4BE1-898D-34D200EB9047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8978c34b34784de614de4ef62e5765f7a01a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":283253,"id":"Q283253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$A6F44AD3-46C3-4CB1-9428-18986F4A419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$4A1F02B9-9C8A-4C0E-81D7-AE28F0967022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$44A1F055-C41E-4CE5-904B-97BCF0DBC849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbe10affe2cc92fb221314d06c46561b63446102","datavalue":{"value":{"time":"+2014-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2877060$5E3F4A7F-8326-4FCC-97B8-D56E662AF179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$D7F9AE46-C717-4AF1-9FA3-8BDBAC1F2D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$F0B0E74B-11D7-462E-A1AC-80E8D22340E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb2a32b3066ec1f7b371a0453633af279ded427","datavalue":{"value":"6333334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$35121195-8E9E-4EAF-8EAE-6DFE41FC0251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa5dd336e170a020dbd48c1747bb818d14df5f7","datavalue":{"value":"sites","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$10BCD068-C805-4BE2-98E1-645B1A4BF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4153dbb4332edb626341dd59276778d262fa92","datavalue":{"value":"coverages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$029DFD99-12D7-422E-A953-D2259291EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$4CB8D023-9CF2-4FB9-AB59-15331F14C224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b12087f4a9babbfe2013b72cc6639c4693e2397","datavalue":{"value":"frame extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$88562112-D0E5-4852-A2DC-81A33B0D8B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19619aa5456124cbf7d903a3b9196de24a91dc71","datavalue":{"value":"joins in meet semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$3F61A77D-56F9-41CA-8F25-76471DFA1748","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":"Q2877060$C4DE58BD-3E89-4F2F-89F1-0005B0F7A024","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abdfbc1090d30268f6e2680d2ddec62de62f76f4","datavalue":{"value":"https://doi.org/10.2478/s12175-014-0223-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2877060$E6CF8174-E353-4E26-8649-CB95A84FB255","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1e41a79cd7f3c3b52fe0bc42d8a8b17fb226ef9","datavalue":{"value":"W1991947356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$4EEDAF76-6C2C-4AC0-B16E-5DECB467972F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45adb4410dcd58539bacd0ce338b4331d45d456e","datavalue":{"value":{"entity-type":"item","numeric-id":5613213,"id":"Q5613213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$3B95E706-8913-44B2-8B8C-18A8DA2530FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df395ce73781c364a4f200e875b7065b892285c3","datavalue":{"value":{"entity-type":"item","numeric-id":793765,"id":"Q793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$2F17EA40-047A-4E92-838D-0595D1ED435B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c58f7b1c86bf119df200c3664a18e3c69c5b6214","datavalue":{"value":"10.2478/S12175-014-0223-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877060$19C2D286-D329-440B-9A4E-23ACFBC962E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5078b7b581b372991ccfa2aec6356e18b74dae5","datavalue":{"value":{"text":"Extending semilattices to frames using sites and coverages.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2877060$63F1A568-3A14-4B8E-B155-F215D0F6D2BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05cd97167fce5fc5f259d088360b62230e128b7c","datavalue":{"value":"Meet semilattices are freely extendable to frames. The corresponding free functor \\(\\mathfrak D\\colon\\mathbf S\\mathrm{Lat}\\to\\mathbf F\\mathrm{rm}\\), left adjoint to the forgetful functor \\(\\mathbf F\\mathrm{rm}\\to\\mathbf S\\mathrm{Lat}\\), is the down-set functor (where, for each meet semilattice \\(S\\), \\(\\mathfrak D(S)\\) is the frame of down-sets of \\(S\\)).NEWLINENEWLINE In the paper under review, the authors say that a \\textit{frame extension of a semilattice} \\(S\\) is a meet semilattice homomorphism \\(\\tau\\colon S\\to L\\) with \\(L\\) a frame such that \\(\\tau\\) is one-to-one and \\(L\\) is join-generated by \\(\\tau[S]\\). Extensions are preordered by declaring, for \\(\\tau_i\\colon S\\to L_i\\) (\\(i=1,2\\)), \\(\\tau_1\\leq\\tau_2\\) if there is a frame homomorphism \\(\\rho\\colon L_2\\to L_1\\) such that \\(\\rho\\cdot\\tau_2=\\tau_1\\). The natural embedding \\(S\\to\\mathfrak D(S)\\) is a frame extension of \\(S\\) and it is the largest one in the preorder \\(\\leq\\); on the other hand, the smallest one is the extension \\(\\mathfrak J^e(S)\\) of \\(S\\) respecting all the exact joins in \\(S\\).NEWLINENEWLINE Then, they present the complete range of frame extensions of a semilattice \\(S\\): it is precisely the interval \\([\\mathfrak J^e(S),\\mathfrak D(S)]\\) in the coframe of all sublocales of \\(\\mathfrak D(S)\\). This is done using a nice technique of sites and coverages that generalizes the one used by \\textit{P. T. Johnstone} [in Stone spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge: Cambridge University Press (1982; Zbl 0499.54001)].NEWLINENEWLINE Finally, the Boolean and Heyting cases are discussed. There, the smallest extension is shown to coincide with the Dedekind-MacNeille completion in both cases (in the former case, the formulas are fairly explicit).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877060$6DFAF38E-9621-4DA4-9B0B-0A6A5426CBCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$61B1B26C-AE6B-4065-A30E-299BC3E97349","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763c88537dba512a4c5c83262c20797a1e7eb054","datavalue":{"value":{"entity-type":"item","numeric-id":331015,"id":"Q331015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30c6b4cc93cb756c97e9eb398c6ced4b9005444","datavalue":{"value":{"amount":"+0.795544445514679","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":"Q2877060$337D5A14-0679-401F-89E5-BF6589017D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59c2dd7c2e82a073518e88dc57249df177fc64d","datavalue":{"value":{"entity-type":"item","numeric-id":1201239,"id":"Q1201239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d3884d658b9cb48d76202299e4686a0b4c544d","datavalue":{"value":{"amount":"+0.7496356964111328","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":"Q2877060$80130A7B-4CFE-4230-87F9-D8705356CBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2444ded21663460f2f2c86cdbe23ca96f1353806","datavalue":{"value":{"entity-type":"item","numeric-id":4280790,"id":"Q4280790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2945f26e7cf3ceb7f7ed4223f5a526f2cd92da9","datavalue":{"value":{"amount":"+0.7493662238121033","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":"Q2877060$DD274669-63CE-499C-B820-970FDD81CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc63e1560817fa2d6375228d79d2e35090422020","datavalue":{"value":{"entity-type":"item","numeric-id":2014013,"id":"Q2014013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436369525e5409a4a4fb470467d2fe373c6d81f7","datavalue":{"value":{"amount":"+0.7471428513526917","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":"Q2877060$EB39901E-F3F6-45AE-AF5E-7FCB59AAF904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2fd82100bb1a34366cf4c5d216c43ec659a305","datavalue":{"value":{"entity-type":"item","numeric-id":2510378,"id":"Q2510378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77a8db7677919cb6bd225f1166140b13ad0cf2b","datavalue":{"value":{"amount":"+0.7440702319145203","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":"Q2877060$4017B884-561E-4078-8AA5-C62C9A7751C0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877060$419BC6CF-443D-4D4D-9CC5-A9316DF9EDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending semilattices to frames using sites and coverages.","badges":[]}}}}}