{"entities":{"Q943377":{"pageid":945225,"ns":120,"title":"Item:Q943377","lastrevid":65523672,"modified":"2026-04-12T03:11:21Z","type":"item","id":"Q943377","labels":{"en":{"language":"en","value":"\\(\\kappa\\)-complete uniquely complemented lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323316"}},"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":"Q943377$261C90C6-E48D-4F25-8D7B-7BD329A616E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb8809cba4de823a6416041defb2c7d0b7efcd53","datavalue":{"value":{"text":"\\(\\kappa\\)-complete uniquely complemented lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q943377$8041E9C4-B457-4E05-B6B2-DEBD16E4DA87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73b040e4be026457d1a24706ee118aeaf5fae76","datavalue":{"value":"1153.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$699DB2C1-3F21-4945-B04F-643776347D8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$E4AA930C-E9D5-44A4-8F37-C5EF5BA34883","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":"Q943377$DBCF97F3-95DC-4FDB-97F1-95B11832BC8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-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":"Q943377$8ABA4984-EF13-41B1-B92F-DC2460225B36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6548beb3b30cd3946d62868482eae067eabc2573","datavalue":{"value":"Let UC stand for `uniquely complemented'. The question ``is every complete UC lattice distributive?'' is still open in lattice theory. Related to it is the main theorem of the paper, which states that, for \\(\\kappa\\) an infinite cardinal, every complete at most UC lattice can be regularly embedded into a \\(\\kappa\\)-complete UC-lattice. This regular embedding preserves all joins and meets; in particular, it preserves the bounds of the original lattice.   The proof of the theorem uses transfinite recursion to construct, starting from the original lattice, a chain of lattices \\(L_\\alpha\\) with \\(\\alpha \\leq \\kappa\\). Each \\(L_\\alpha\\) is a complete at most UC lattice, and, for each \\(\\alpha < \\beta\\) their embedding \\(L_\\alpha \\leq L_\\beta\\) is regular. Moreover, each element of \\(L_\\alpha\\) has a complement in \\(L_\\beta\\). The union of this chain is the required \\(\\kappa\\)-complete UC extension of the original lattice. To produce the chain, the author uses a recent construction by Gr\u00e4tzer and Lakser [see, e.g., \\textit{G. Gr\u00e4tzer}, ``Two problems that shaped a century of lattice theory'', Notices Am. Math. Soc. 54, No.~6, 696--707 (2007; Zbl 1286.06001)] in conjunction with a completion method.  One of the consequences of the main theorem states that any lattice can be embedded into a \\(\\kappa\\)-complete UC lattice so that all existing joins and all existing non-empty meets are preserved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q943377$A4CFEB61-6BF7-46F2-9889-84AB91F04D90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$1CDAD8C6-610E-4914-9CB1-28AB2A5F887E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$1D987399-A1C2-4FEC-A603-E8A51D770437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$63468F7D-1DDA-4BCD-A979-3A52CC412674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab1c358b8b0b6d9f9de7b44f20e58340682a3270","datavalue":{"value":"5323316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$76C524A4-52C2-4BD6-97A0-533428B5E16D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q943377$D00457FB-B97D-4F0B-94C9-DE181DF145F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q943377$FC5CE43B-A3AE-4CD3-9CC5-F40F1E29579F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895105322227fc3bd084e12f18122e9c42564d7c","datavalue":{"value":"uniquely complemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q943377$568B582F-81B8-48D5-9E32-A3C7EB9D84D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"737c759f0da356371c33382f78200349548dae83","datavalue":{"value":"regular embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q943377$154C0EFF-281D-4D54-8F4E-D116F2CCB466","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":"Q943377$43414E09-C34E-40ED-8FC8-111E6F9BCE53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfcde5dda325499c4b6b6ea07e09f9d765182200","datavalue":{"value":"https://doi.org/10.1007/s11083-008-9084-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q943377$0A4FF706-4B2F-40A7-95CB-1629EB98ADB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ebf9f23d02c9adb79633dc82f2052bf700a83ec","datavalue":{"value":"W2019146455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$B741EB41-94F0-4B5F-8F78-E723841CA7C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648658d7da00d9f0fe610db0b9aaabcf6ae80068","datavalue":{"value":{"entity-type":"item","numeric-id":1156161,"id":"Q1156161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$BB4AAFCF-C9EB-44F1-AA7C-8E1DA4F5C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$673968C4-4FCF-480F-8EE7-4003B0745EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70d4cbf4dd041d25091ef26428da555192c60d1","datavalue":{"value":{"entity-type":"item","numeric-id":2536068,"id":"Q2536068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$C5978E4C-ABD8-430D-9A64-22B04EF77EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f26567ada080faa8a91d1e952affb34d33b7684","datavalue":{"value":{"entity-type":"item","numeric-id":5734466,"id":"Q5734466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$96EDB049-B7D5-428A-8B71-2F834DF5EB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbbd41f3df60cd5a0d12d6723e9387cf4261091","datavalue":{"value":{"entity-type":"item","numeric-id":5834608,"id":"Q5834608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$8E7E2A62-C812-44DD-82B3-004883F12002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2266520839e8dd9d47d3e4f0f8ec7670278a37c","datavalue":{"value":{"entity-type":"item","numeric-id":5450090,"id":"Q5450090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$EDF6F2DA-3E9C-488A-B767-AE03DA35E4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9c59a6bf59159897b82df47dce1aa068c36dce","datavalue":{"value":{"entity-type":"item","numeric-id":2577726,"id":"Q2577726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$46D5529D-3E07-4B71-A619-B90B0ABD1681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9acc2eb5e2d76b0fa37034dc41941899b10c533","datavalue":{"value":{"entity-type":"item","numeric-id":5472328,"id":"Q5472328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$15CC3236-EFB7-4C9E-B125-42498EEB213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86541163046457a618d235c5efd6548cb88734b5","datavalue":{"value":{"entity-type":"item","numeric-id":4308630,"id":"Q4308630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$11B2092F-BF61-4855-A621-3593D9572009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943377$CD85B4F6-4907-4D79-8CDA-4D3D7DA3955E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"547fa9abe98c5663553919571492d7db525ac64e","datavalue":{"value":"10.1007/S11083-008-9084-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943377$5A2F8727-D539-4375-A76D-7BBD31DC7B3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d769138403cf250ff22c13e23f8119b4c84a5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5472328,"id":"Q5472328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1211c238cc4fae90d6a039558a4cb539f4f2a26e","datavalue":{"value":{"amount":"+0.7613096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$89649BC7-8BE1-4913-9E88-57080BD4B0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6459faa0933a1b4e762decdd1b6b75cbc94448","datavalue":{"value":{"entity-type":"item","numeric-id":3743355,"id":"Q3743355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776d8ec367f4afe38ecade54f438d6b7c867fdd0","datavalue":{"value":{"amount":"+0.7427551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$B88FD879-D977-42CC-9DA5-4D4289868129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5662c3cfee853ca86acde90b47f9ad7a53392a00","datavalue":{"value":{"entity-type":"item","numeric-id":1325961,"id":"Q1325961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee5840c45cf39eee6ceb817e842f0f6de8d4c80","datavalue":{"value":{"amount":"+0.74258363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$B621D577-842C-4B42-BC3B-DCD4CCA48120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee8d6bd176250da0bca6d85e657c8cf928bb17f","datavalue":{"value":{"entity-type":"item","numeric-id":4904955,"id":"Q4904955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48cfcb494c0e9ba4b66dbf8d28126e30d4e2ba80","datavalue":{"value":{"amount":"+0.7315414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$3F73C936-4D03-494A-BFCE-6EC4EEB480DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87dc626dfac0be947d87e214e5754438e10d757","datavalue":{"value":{"entity-type":"item","numeric-id":3333091,"id":"Q3333091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b798f80bd263af05c72bf5d3c44b9bbb86466f1","datavalue":{"value":{"amount":"+0.71748674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$E6D5949E-7A61-41F7-ACCC-8D0FE1487DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23942260c17496662eedf514f4b44f9d4bc557d5","datavalue":{"value":{"entity-type":"item","numeric-id":2577726,"id":"Q2577726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2db5c82caa3652e8792f1d0fd95d6fdf18a6dc4","datavalue":{"value":{"amount":"+0.71515167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$37AA36AD-7D5E-41BE-906C-482E46BADE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d53eb7d47256d1acf4a080c4f8b19aff8a0ca843","datavalue":{"value":{"entity-type":"item","numeric-id":1262329,"id":"Q1262329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800b4f20c6fb030efffee41e2b27fadd94d44eab","datavalue":{"value":{"amount":"+0.7141096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$B64B76A1-86D7-42DC-82F6-CCFFCF37F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b860296d0ea0a8970fb004527d9b3df3571605fb","datavalue":{"value":{"entity-type":"item","numeric-id":3695307,"id":"Q3695307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a7422061366693a84da8c5266d573ad4df20d7","datavalue":{"value":{"amount":"+0.7043283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$5729BAFB-37F5-411B-BF7C-83B985A463F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afd52d60bcef65b2e5538222c5157c2fc272950","datavalue":{"value":{"entity-type":"item","numeric-id":3134794,"id":"Q3134794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ff251f17ff9bfe5187c47f5f2c9beed96920c4","datavalue":{"value":{"amount":"+0.7041845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$0018AB09-F761-47DE-BC64-DC95AADD6797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb60b01d9c2bf94d641ceadc44075b442e8d432f","datavalue":{"value":{"entity-type":"item","numeric-id":4308630,"id":"Q4308630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a4bd98848a22febbaa48833f9ea6d21fb975e6","datavalue":{"value":{"amount":"+0.70397073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q943377$D5AFA035-1BFB-46FE-BF47-102339E8AD8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\kappa\\)-complete uniquely complemented lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Ckappa%5C)-complete_uniquely_complemented_lattices"}}}}}