{"entities":{"Q1174172":{"pageid":1184921,"ns":120,"title":"Item:Q1174172","lastrevid":67033077,"modified":"2026-04-12T14:27:58Z","type":"item","id":"Q1174172","labels":{"en":{"language":"en","value":"A converse to the Sholander embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8200"}},"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":"Q1174172$DF6A8C74-05A6-4671-B917-8340D5B06D62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c071340871fceba9348ca5163097339e8788bff0","datavalue":{"value":{"text":"A converse to the Sholander embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174172$0D6E4026-DEFD-44AF-B1FB-E2B78C437722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6fa775c41405b9af9eb520bf2e78213611b3cd","datavalue":{"value":"0737.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174172$28388A80-7B8E-4989-ABD4-88D806A1B705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55b989b90ec96043edf8b93f6ae9e053a5c64ee","datavalue":{"value":"10.1016/0012-365X(91)90141-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174172$ADDCF59C-19EC-438F-8078-6B09AE921367","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$14F87606-79C0-4442-A445-85B86BF50FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174172$77F129F2-D93C-48DD-895E-2153046DCC34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0247f3c411ed5feadb99fbc24719d42e5513c20f","datavalue":{"value":"A median semilattice is a meet semilattice \\(M\\) such that (i) every principal lower end \\((x]=\\{a\\in M; y\\leq x\\}\\) is a distributive lattice and (ii) any three elements of \\(M\\) have an upper bound whenever each pair of them have an upper bound. \\textit{M. Sholander} [Proc. Am. Math. Soc. 5, 808--812 (1954; Zbl 0056.26201)] proved that any median semilattice \\(M\\) may be embedded into a distributive lattice \\(L\\) in such a way that \\(M\\) is a lower end in \\(L\\) and every element of \\(L\\) is the join of finitely many elements of \\(M\\).   The converse is not true in general: Not every lower set of a distributive lattice need be a median semilattice. Example: Let \\(L\\) be the power set lattice of \\(\\{a,b,c\\}\\) and put \\(M:=L\\backslash\\{a,b,c\\}\\); then \\(M\\) is obviously a lower end in \\(L\\), but the singleton sets have no upper bound in \\(M\\) while any two of them have. The present paper provides several equivalent conditions for a lower set \\(M\\) of a distributive lattice \\(L\\) which (singly) guarantee that \\(M\\) is indeed a median semilattice under the meet operation inherited from \\(L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$FB6388B4-6790-425D-887E-6F646B016658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174172$D87E42C9-8AF8-4D8A-A36B-5DB1F6A67EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174172$56546BF0-8296-4D78-8186-4DB53D827582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019ab1329492c2a2f477aa90b96ddb9774fb1566","datavalue":{"value":"8200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174172$1665E0A0-6FF8-4DE5-9571-F79CF9E7CE23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2d108a7b055efb863f51ef42babdf233c280dcf","datavalue":{"value":"order ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$9499089E-4ECA-44CC-A085-DC9B736F2D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e78e1141f5935e3ed6199626a53fff003511348","datavalue":{"value":"median semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$AE27E752-72EF-485D-9BBA-FF9E4D12A2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deefc48a1c074426d5cf71d75a353f386dd0abba","datavalue":{"value":"meet semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$80E45259-FE1B-4FE6-A82A-1E20F78ACE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc4ff86e5cae833c137ba434feae55aa99385fd8","datavalue":{"value":"lower end","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$03A95A95-A8C3-493B-B045-E4FC31DDC4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174172$E4C6155E-64B1-4AC8-94D2-668CD9C17655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ed201e3415a0ea30d883cc59bb263ea850ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":1042320,"id":"Q1042320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$5A916906-20C2-4457-AE92-FED89BD670D6","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":"Q1174172$89E77FB2-754C-42AF-BF77-8E6A4E64F79D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08536eb9e10d476ab0b8d5658dcccd83f10410d6","datavalue":{"value":{"entity-type":"item","numeric-id":791544,"id":"Q791544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$54CC7679-F010-47FE-819A-A55ABF86A540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf0111302e2b4b87a2089af695ff6aba1fe9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1836681,"id":"Q1836681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$32C61CAC-530E-4D0E-9802-4FFB1B710424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c14fa4faadfe5c6936ebde996a688575406fe7b","datavalue":{"value":{"entity-type":"item","numeric-id":1104668,"id":"Q1104668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$3ED52190-95EC-4408-A910-434F54A09CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae06e68db85d33615c976572e7c8991eddf9c976","datavalue":{"value":{"entity-type":"item","numeric-id":3362065,"id":"Q3362065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$6410D91F-0563-4DC5-8B9D-75059533E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93512bfdc47afc24e7dc7bba727163eb15783f98","datavalue":{"value":{"entity-type":"item","numeric-id":1164937,"id":"Q1164937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$1BB1D54F-78B7-448D-983B-B4B802F0DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff737b3d29a70d8eeed416512ce37065d55e945","datavalue":{"value":{"entity-type":"item","numeric-id":760318,"id":"Q760318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$86F39C96-374F-4FBB-8132-81AC8C4CB898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fa7e6eebe84308802eca7237c4f1e773e83d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5829075,"id":"Q5829075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174172$57064ACB-E7D1-4A9A-B2E0-018C4E18263E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaed63cf34a914648a27455948fb016f0b93193","datavalue":{"value":{"entity-type":"item","numeric-id":1182065,"id":"Q1182065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c61aa4c4cb71bdaba92f006e7571b2de963ef4a","datavalue":{"value":{"amount":"+0.8496551","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":"Q1174172$C8449E58-B9EF-4422-9285-3670B5EEFF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941005c64b6d9eeaaf392a82a052c15609fd14e9","datavalue":{"value":{"entity-type":"item","numeric-id":5054987,"id":"Q5054987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff8421b63c12f94399ae901bf4f42cb7ea1b272","datavalue":{"value":{"amount":"+0.7663113","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":"Q1174172$AF1F5EE3-7B9E-4EAE-B65D-0AA1DB40C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c98cc1bbcd980484d924c085a70cdf4df4cf8dc","datavalue":{"value":{"entity-type":"item","numeric-id":3346371,"id":"Q3346371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5c2379d967f9b58f4fe0a19bb8f1c61be5e05c","datavalue":{"value":{"amount":"+0.75277126","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":"Q1174172$8EF733D0-251D-4D81-8BED-39B0A002CD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72554441284970560bf035d0bc8bb214f30ccbb1","datavalue":{"value":{"entity-type":"item","numeric-id":2577727,"id":"Q2577727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293aa1d92708ea91ede9c1c194496aa973006596","datavalue":{"value":{"amount":"+0.74817055","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":"Q1174172$8D42D11F-CBD9-48D0-A07A-7248E6CE2A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12b45f8eab22090617f85134d9727062433863f","datavalue":{"value":{"entity-type":"item","numeric-id":1874542,"id":"Q1874542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b90f8cf22d66150b3b5d1ee36ef8c1e714fea5e","datavalue":{"value":{"amount":"+0.7454608","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":"Q1174172$F6BBFA26-6071-4E3C-95E5-A36A042EC682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504312a63c6e593b2cd82c0263f17b3c600daae2","datavalue":{"value":{"entity-type":"item","numeric-id":2573715,"id":"Q2573715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044ed839895a187e77a5f5ed69b4f3bdd1fbe9aa","datavalue":{"value":{"amount":"+0.73571527","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":"Q1174172$3F2738CC-99FE-4360-AA65-5B6A404B5F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9db53f7d057e90ca39e427b1cb3a77b0b957bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1062082,"id":"Q1062082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4c3564fc0be0768a6e4c66ce29cd350a3b62db","datavalue":{"value":{"amount":"+0.73286617","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":"Q1174172$DB2E083E-6481-454B-B302-37B2E99B0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be68b09851f2c88768e43f2b7d95ae95552d32b2","datavalue":{"value":{"entity-type":"item","numeric-id":3338298,"id":"Q3338298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fd2881aecd005da22f7a0ed4291598574f4fed","datavalue":{"value":{"amount":"+0.73205227","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":"Q1174172$C8809D7B-9E2B-4A7C-A1F3-8961B008F5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d233765d6c287683de6addb44b36d95deb9706","datavalue":{"value":{"entity-type":"item","numeric-id":1208066,"id":"Q1208066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f846118275de75fe31640d16b9117b448e0ac2e","datavalue":{"value":{"amount":"+0.7283474","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":"Q1174172$FEA8C7F3-B18A-41AE-8E85-D50F07E27A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71e32bc7a3f34dab5ec3f0e810465d2d042f7d4","datavalue":{"value":{"entity-type":"item","numeric-id":5450090,"id":"Q5450090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7274a1c65c3dc743a74f53c5b8823f5e105f605","datavalue":{"value":{"amount":"+0.72750545","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":"Q1174172$864891C6-85FA-4553-83B1-AAC586392BEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A converse to the Sholander embedding","badges":[]}}}}}