{"entities":{"Q799451":{"pageid":801299,"ns":120,"title":"Item:Q799451","lastrevid":48747973,"modified":"2026-01-05T18:51:57Z","type":"item","id":"Q799451","labels":{"en":{"language":"en","value":"Extending an order on a set to the power set: Some remarks on Kannai and Peleg's approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874910"}},"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":"Q799451$F45A5DF4-0573-4B2C-AE52-C9B14D8BE362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad250c813f6e658a0dc90e32c6e848924946deb8","datavalue":{"value":{"text":"Extending an order on a set to the power set: Some remarks on Kannai and Peleg's approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799451$47706BF2-451F-4B5F-BE13-15A9AABCC49E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50b6db54a7d40a14fc18cc07a71cfeb2be1ab5a","datavalue":{"value":"0548.90002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$F1A8E174-4F69-4E9E-BDEA-86546A24145D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fac7e1a80f1e06955de19b571f66a8203e19f865","datavalue":{"value":"10.1016/0022-0531(84)90083-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$12256567-E356-40CC-989E-F18038FA1675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59c4e2834d3929a5dcd52b59bcb25b0b8e9621a","datavalue":{"value":{"entity-type":"item","numeric-id":672610,"id":"Q672610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$C971D703-529E-4720-A6B3-93217D1E93FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b94bc9b74e2b8199b15414e472745451137bda17","datavalue":{"value":{"entity-type":"item","numeric-id":1068673,"id":"Q1068673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$0F2CD1AA-A098-4BB0-A4C4-FADB3E0FA6EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3bf9ac9ec63184edee159adfddd47bd75703ecee","datavalue":{"value":{"entity-type":"item","numeric-id":61265,"id":"Q61265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$58309A09-B599-4DA4-AABB-2C93E8790DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799451$784EC944-2812-41BB-B98F-76FD2C1C6B95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6602e285c1375970029b3a59066bf75dd7cb7628","datavalue":{"value":"Given a reflexive linear order R on a set \\(\\Omega\\), and hence given its asymptotic part P, a weak order \\(\\gtrsim\\) on the power set \\(2^{\\Omega}\\) is called an extension of P, if for all x,\\(y\\in\\Omega \\) for which xPy, it follows that \\(\\{\\) \\(x\\} \\succ\\{y\\}\\). Kannai and Peleg proposed two appealing axioms for such extensions, (GP) and (M), and established their impossibility theorem that there is no extension of a reflexive linear order P on \\(\\Omega\\) to \\(2^{\\Omega}\\backslash\\{\\emptyset\\}\\) which satisfies both (GP) and (M) and is also a weak ordering, if {\\#}\\(\\Omega \\geq 6\\) [see \\textit{Y. Kannai} and \\textit{B. Peleg}, ibid. 32, 172-175 (1984; Zbl 0533.90005)]. The authors commented on the Kannai-Peleg result by establishing two theorems. Their axioms are:    (B) For all distinct x,\\(y\\in\\Omega \\), if xRy, then \\(\\{\\) \\(x\\} \\succ\\{x,y\\}\\) and \\(\\{\\) x,y)\\(\\succ\\{y\\}.\\)    (K) Let \\(A,B\\in 2^{\\Omega}\\backslash\\{\\Phi\\}\\). If [for all \\(x\\in A\\) and for all \\(y\\in B\\), xRy] and [for some \\(x\\in A\\) and some \\(y\\in B\\), xRy and not yRx], then \\(A\\succ B.\\)    (M') If \\(A,B,C\\in 2^{\\Omega}\\backslash\\{\\emptyset\\}\\), \\(A\\cap B=A\\cap C=\\emptyset\\), and \\(B\\succ C\\), then \\(A\\cup B\\succ A\\cup C.\\)    Axiom (K) is weaker than (GP) and axiom (B) is weaker than (K), while axiom (M') is stronger than M. The theorems are: (1) If \\(\\Omega\\) is finite there exists a weak order over \\(2^{\\Omega}\\backslash\\{\\emptyset\\}\\) satisfying (K) and (M). (2) If {\\#}\\(\\Omega \\geq 3\\) there exists no binary relation \\(\\gtrsim\\) on \\(2^{\\Omega}\\backslash\\{\\emptyset\\}\\) which satisfies (B) and (M').","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$D5A71957-FC08-4FCB-B28A-06C3AA41B3F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dfd8303bd13aea2e4b7120171f58bea1dddf5e5","datavalue":{"value":"91B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$AA97CA27-6CAC-4237-8BDD-EFC118E4C1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$384C325C-6F6B-4906-952A-779429A1048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$D195C696-57F1-4371-9993-B5D2A34EDE1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d064c5ae9c8b4c53bad42446eec00a92a1cdfd3","datavalue":{"value":"3874910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$F1C82F98-2741-4AED-B39E-FD46754FF0FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1329ea089f5123ef7ae839038bdd617c1bbf9dff","datavalue":{"value":"extension of a linear order to the power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$2810D090-D4AD-43E3-A4D5-C61E6143B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4599c4788bd7237085bf94fba711d85d6e6ab2d6","datavalue":{"value":"G\u00e4rdenfors principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$F3C17EA1-1603-4B9C-88F8-1458EC8832AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe8c80328f59a1b0274b52bf73e7c971d27197d","datavalue":{"value":"monotonicity property","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$D2371E47-B606-4FB0-9D5A-9072E75BC718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b144abd55de1a36a8eb2bb0733cfe85eeed5584","datavalue":{"value":"reflexive linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$F80FE377-EA5B-4B14-8B5E-30890D9884F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b523228970873fcb2e73ce6f2382ed2b634458","datavalue":{"value":"weak order","type":"string"},"datatype":"string"},"type":"statement","id":"Q799451$9FAC9183-D7FD-4EE3-A332-4EDF988BA37B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d709ef1a0e7dc1a8f3e6ec5a433fe916ad1fe221","datavalue":{"value":{"entity-type":"item","numeric-id":1106107,"id":"Q1106107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$89465786-D1B3-452F-B0D0-5041C8235054","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":"Q799451$4447D2CD-6FE9-467C-BA8E-D845473CA425","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d92cad36d7d52addea12114249685f37fd7b77c4","datavalue":{"value":"https://doi.org/10.1016/0022-0531(84)90083-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q799451$8D8B9AF5-314D-42C9-BA28-4071E632625E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5753cad90c606aa5d0ea49c3c7575481b403e9f8","datavalue":{"value":"W1983226570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799451$DFEEFFB5-94A5-44BB-B480-BFC7ACD0BCA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2f9f888259274d1b4c6f227e7dd023ecf3f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4145337,"id":"Q4145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$821B2917-62D9-4E92-9196-8E79C420DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8338746db1986c967ba9110afb3e923fc101792","datavalue":{"value":{"entity-type":"item","numeric-id":799452,"id":"Q799452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$E86BB004-8728-495F-A916-F3985702E9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d3c62172f50c77fe5b49ab0066190a1a2b908e","datavalue":{"value":{"entity-type":"item","numeric-id":1238741,"id":"Q1238741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$25117892-B0DE-42DE-B1BB-6B5BD1D815AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249bc8020f677c7389106eee9b03853dfbc167eb","datavalue":{"value":{"entity-type":"item","numeric-id":790021,"id":"Q790021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$B6519EA1-4692-46E4-A683-2CBBD32D2B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0a2d542b29e5e3dd611a1b25c1e4085da471f7","datavalue":{"value":{"entity-type":"item","numeric-id":4113619,"id":"Q4113619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$99B30C67-BFBE-47AB-BCE3-82D181F613F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b2cb448d6bb095d469742c0ad84a1a9b8cf4b1","datavalue":{"value":{"entity-type":"item","numeric-id":5639713,"id":"Q5639713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$8CFD4709-68C7-4E22-AE75-6BEA635A696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78f28a84796ba7da683c00257d82dd64f8ac0e3","datavalue":{"value":{"entity-type":"item","numeric-id":3252269,"id":"Q3252269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$13861502-39ED-4421-A9D7-24F28D7B8A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d996da6dd936c1a5590e156efef8b09cb81805","datavalue":{"value":{"entity-type":"item","numeric-id":1155496,"id":"Q1155496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$275858F1-C9A5-482B-BA37-4A119DB87AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5f419aea4a99687d68b9637ea8d74081f82f","datavalue":{"value":{"entity-type":"item","numeric-id":4196192,"id":"Q4196192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799451$33C070F6-12AE-47E2-9902-D28BD1E618A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cf8a415eaa19320543dd2e169c789ad814fd23","datavalue":{"value":{"entity-type":"item","numeric-id":791414,"id":"Q791414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08979e142afd74ddb705837bb0daf9e37ddf1e8e","datavalue":{"value":{"amount":"+0.912615954875946","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":"Q799451$7B0B72BC-7C53-4A34-A4A3-E3A5AF2599C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11136e45f70fe3878d80a5c0e1eee94f34100640","datavalue":{"value":{"entity-type":"item","numeric-id":799452,"id":"Q799452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607c0bd5036c8bd473f329993d3af63364176c9a","datavalue":{"value":{"amount":"+0.9120526313781738","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":"Q799451$AD6266BF-0E44-4389-A94E-59B579D3AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1893e1bae226ea04b6a7d1207b9a75f0abc1930","datavalue":{"value":{"entity-type":"item","numeric-id":1104836,"id":"Q1104836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6084768ec3ba2e77d1e1e1d158301c82995b374b","datavalue":{"value":{"amount":"+0.90548974275589","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":"Q799451$ED78868D-5CAE-41F5-BAE1-3939BD32042E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d991efa04ba23dc8231ffc85d88f39b6bc0d757","datavalue":{"value":{"entity-type":"item","numeric-id":1124501,"id":"Q1124501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b70808cf6386208a44afa37d5db3d226e4b212","datavalue":{"value":{"amount":"+0.8396786451339722","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":"Q799451$16D9B260-91F5-4BDE-998D-048FB700BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73904e3c8b30e28ccad930caeab7c1be780fdbaf","datavalue":{"value":{"entity-type":"item","numeric-id":799453,"id":"Q799453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5c7afb460d98f3f201942da3c45ba738a07e92","datavalue":{"value":{"amount":"+0.8086376190185547","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":"Q799451$EE95273D-67F2-4035-9207-9B6C7A98EDAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799451"}}}}}