{"entities":{"Q1266925":{"pageid":1277675,"ns":120,"title":"Item:Q1266925","lastrevid":70514154,"modified":"2026-04-13T15:09:31Z","type":"item","id":"Q1266925","labels":{"en":{"language":"en","value":"Generalized \\((S,I)\\)-complete free completely distributive lattices generated by posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1209922"}},"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":"Q1266925$7B7EBB1C-5ED2-417B-A9C8-F854193785D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c46436208a348b4750140c58565aae66adab81e9","datavalue":{"value":{"text":"Generalized \\((S,I)\\)-complete free completely distributive lattices generated by posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1266925$EE3DCC03-DC09-40A7-96C5-E5A0B8C16137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01b77531daecf98cb5683555c00ed141962ba170","datavalue":{"value":"0913.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266925$55754C8E-BB86-470B-B7AD-996232F57620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c8d4c164f152436e4b7349800638aca4e9e4017","datavalue":{"value":"10.1007/PL00005975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266925$4D72F193-F0A2-4B21-9E92-C4FAFE1DAEC0","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":"Q1266925$BF5FF35E-0838-47D9-8328-8C88D485DA07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"401c5fa20617ec1e8d2797ea94ab975b6e1a53fe","datavalue":{"value":{"time":"+1999-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1266925$978F3CD4-CAD0-4E20-AB96-D41DBDE823CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e042458aaa8de57e15297e349d8f8321251b30af","datavalue":{"value":"Let \\(P\\) be a poset and \\(SP\\), \\(IP\\) be families of subsets of \\(P\\) containing all the singletons of \\(P\\) but otherwise arbitrary. For every subset \\(A\\subseteq P\\) let \\(A^\\delta\\) be the set of all lower bounds of the set of all upper bounds of \\(A\\), and let \\(A^\\eta\\) be defined dually. If \\(L\\) is a complete lattice, a mapping \\(f:P\\to L\\) is called a generalized \\((S,I)\\)-complete homomorphism provided \\(f\\) is isotone, \\(\\sup(f(A^\\delta))= \\sup f(A)\\) for all \\(A\\in SP\\), and \\(\\inf f(B^\\eta)=\\inf f(B)\\) for all \\(B\\in IP\\). The main result of this paper is that for every poset \\(P\\) there exists a completely distributive lattice \\(ISF(P)\\) and a generalized \\((S,I)\\)-complete homomorphism \\(u:P\\to ISF(P)\\) such that for every completely distributive lattice \\(L\\) and every generalized \\((S,I)\\)-complete homomorphism \\(f:P\\to L\\) there is a unique complete homomorphism \\(\\overline{f}: ISF(P)\\to L\\) which extends \\(f\\). Several kinds of free completely distributive lattices already known in the literature are recaptured from the above theorem by appropriate choices of the families \\(IP\\) and \\(SP\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266925$029B0941-5B28-4D20-8731-C79493D7E695","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1266925$51B8F9FE-16FF-46AF-A576-3C4408323517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266925$A8C58CDE-1A96-40C5-8855-5738BB9C5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266925$B01324D7-AF9C-44C1-A8B3-0D4456544695","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"882f3db17eb22bdbbf94abedd382cd24723f144d","datavalue":{"value":"1209922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1266925$3A9D3AE8-C96B-4009-A8A3-EA9491885E0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb2987a1b4a2fc4d7f53c0eb35759a22be36457","datavalue":{"value":"free generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266925$03421996-BAE5-4487-847D-B4E58E467C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc975018bd9860a0f02ad3ddca26041d21fc37","datavalue":{"value":"completely distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266925$812658AC-6B35-4ABF-A0E1-71EF98690C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9161bbb5b02c177ba50b8cf97c2cc0a8c3b6038","datavalue":{"value":"generalized \\((S,I)\\)-complete homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1266925$7D87A5CD-3330-4B32-81E6-CDEEED16BBB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1266925$F200B92E-E3DE-469B-B287-523105612916","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":"Q1266925$1091F2B6-EC39-4CE3-A306-2E2EFE72F8F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe82e3f610f25e51deed9d75cd668271d3dd0b5","datavalue":{"value":{"entity-type":"item","numeric-id":761476,"id":"Q761476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5988e0864051136b4b16a1345c0a54f34f555131","datavalue":{"value":{"amount":"+0.7773557305335999","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":"Q1266925$26708CB7-EA81-4728-ABDB-F235942FA4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f19463ff170cba7b2824a8509e9ef0c697d838","datavalue":{"value":{"entity-type":"item","numeric-id":4576001,"id":"Q4576001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a924deb442c6cbf810a7e4b5b52c32be4632b71b","datavalue":{"value":{"amount":"+0.7703467607498169","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":"Q1266925$6A52DC8C-51F0-4DAE-B502-44F041987732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f6ffba78037b02b4955924ad96380e2c8e763a","datavalue":{"value":{"entity-type":"item","numeric-id":3697204,"id":"Q3697204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158a66d1d6f876f586b6fdae295e5043065b781f","datavalue":{"value":{"amount":"+0.7674756646156311","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":"Q1266925$7938B897-5E0E-4E73-BDD4-19B5CAD83717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24d9a83aaebd8f9c69002c2513284f67b11f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":5484352,"id":"Q5484352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42d15ab92388b8e9bc0390ad307e4dba8c27565","datavalue":{"value":{"amount":"+0.7645200490951538","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":"Q1266925$D45E213F-B2B7-4877-98E7-018B5300F3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8828e9d4df0126b8a0570b6cfd60372d4ee4db34","datavalue":{"value":{"entity-type":"item","numeric-id":2330057,"id":"Q2330057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f598e129ae50b3fa5a65c24b7f2d4cffdf194536","datavalue":{"value":{"amount":"+0.7640802264213562","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":"Q1266925$6A0D9A76-C736-42D6-8384-AC80F349927C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized \\((S,I)\\)-complete free completely distributive lattices generated by posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_%5C((S,I)%5C)-complete_free_completely_distributive_lattices_generated_by_posets"}}}}}