{"entities":{"Q791414":{"pageid":793262,"ns":120,"title":"Item:Q791414","lastrevid":64450551,"modified":"2026-04-11T19:57:26Z","type":"item","id":"Q791414","labels":{"en":{"language":"en","value":"A uniqueness result for extending orders; with application to collective choice as inconsistency resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850764"}},"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":"Q791414$D66C9279-6FDD-490C-AB62-AC0AB14C8545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f259cbc26cfc81187b8f7ae7c3f93bbd5c3016da","datavalue":{"value":{"text":"A uniqueness result for extending orders; with application to collective choice as inconsistency resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791414$25F57833-7C3C-4CFC-A4E6-9DC080FD30EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4d8a34c4c8fe99a567c758a14abc949a990f772","datavalue":{"value":"0535.90004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$628A56C2-4FDD-4F8D-8470-DF18F4576501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"147cb9905341354f89240c59ae880815bbe96df6","datavalue":{"value":"10.1016/0022-0531(84)90082-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$5A15E2D4-C13D-47F5-BF7A-33F03743F6A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d3bb193d9cc715357dc1d037fecdc59ba07745","datavalue":{"value":{"entity-type":"item","numeric-id":791411,"id":"Q791411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$CA82F334-1917-41F5-BF1E-0C4ECF6A8F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61cb638d939653c70679c476187b1b3fc700596","datavalue":{"value":{"entity-type":"item","numeric-id":791412,"id":"Q791412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$D0194B4F-4661-4D3A-A36B-C67BF7449BD5","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":"Q791414$96902CCA-2DC3-47C3-94ED-D67F888B5BBD","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":"Q791414$34D52F35-162A-4296-8FCF-6B8C2281BA36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87fb228bc8d6770c60446f770267de23f929dba4","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\\}\\). \\textit{Y. Kannai} and \\textit{B. Peleg} [ibid. 32, 172-175 (1984)] 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.\\)    The authors commented on the Kannai-Peleg result by quoting their possibility theorem. Their axioms \\(are:\\)    \\((GP^{**})\\) If \\(A,B\\in 2^{\\Omega}\\), \\(A\\neq \\emptyset\\) and xPy for all \\(x\\in A\\) and \\(y\\in B\\) then \\(A\\succ B;\\)    \\((M^{**})\\) If \\(A,B,C\\in 2^{\\Omega}\\), \\(A\\cap B=\\emptyset =A\\cap C\\), then \\(B\\gtrsim C\\) iff \\(A\\cup B\\gtrsim A\\cup C.\\)    The Heiner-Packard theorem says: Suppose R is a weak ordering on a finite set \\(\\Omega\\) and that \\(\\gtrsim\\) is an extension of R onto \\(2^{\\Omega}\\). Then \\(\\gtrsim\\) is a weak ordering on \\(2^{\\Omega}\\) and satisfies \\((GP^{**})\\) and \\((M^{**})\\), iff \\(\\gtrsim\\) is the lexicographic ordering according to the number of highest-ranked elements in \\(\\Omega\\) ordered by R.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$0D89B521-B36D-46F0-B2CF-050260908C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dfd8303bd13aea2e4b7120171f58bea1dddf5e5","datavalue":{"value":"91B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$9D2444EA-054F-4935-B916-F3D0A414619A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$546962A7-E175-4C16-B0F1-91B44E3E5DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$FF5BB67B-BC82-40DD-B6BF-2037B06C47CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eda3c3451e98903675686ec87abc2091c7dc688","datavalue":{"value":"3850764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$19FD660D-4049-43C3-A11B-DE987FEEAD99","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":"Q791414$0D2D5C82-DB8D-42F4-979B-7316F640103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4599c4788bd7237085bf94fba711d85d6e6ab2d6","datavalue":{"value":"G\u00e4rdenfors principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$F36C24F6-A7E5-493A-91A5-5B872532AC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe8c80328f59a1b0274b52bf73e7c971d27197d","datavalue":{"value":"monotonicity property","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$83EEB3F1-EF15-49CB-8374-E08231400264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b144abd55de1a36a8eb2bb0733cfe85eeed5584","datavalue":{"value":"reflexive linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$F4A20A8C-21D3-49E0-8B55-E4542E6A2B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b523228970873fcb2e73ce6f2382ed2b634458","datavalue":{"value":"weak order","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$D486E1EA-22CD-45DB-AA47-094C2AF1DB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2aa3aeac9f4a405b9c4c38e3bf2ff3d3b273484","datavalue":{"value":"possibility theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$FE613DC6-C179-4598-A238-275481C115A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1eebe04328d31536de0fae8efb9a365df801714","datavalue":{"value":"lexicographic ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q791414$6F3A26ED-FFFA-4C3C-B78D-8BCB910F8E71","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":"Q791414$9E34D13E-6ECB-4864-9B9D-2E636F1F64C7","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":"Q791414$C3E050F6-4FA1-4A61-9E00-DBCA48CA7959","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa558ef62397749a6b5388ce8d00a2dc4a85100e","datavalue":{"value":"https://doi.org/10.1016/0022-0531(84)90082-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q791414$AA760D1A-15E0-4AD9-B87B-FF7ED42EAFF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00f2d26ab29bc2da36e8dab230acdf184bf21e01","datavalue":{"value":"W2020312903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791414$66148B09-9E01-44E5-ADDB-AEA30F13860B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0ffd79279d22ac2c37ed34c8586ceb9fd8a3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3266133,"id":"Q3266133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$943EA6A1-67C2-4CCB-9DB1-8D4C9E46316D","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":"Q791414$8BF06E94-DDCC-4B96-948C-90F9144012F3","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":"Q791414$A62CE465-DBC9-4BC3-8B59-A6A5317CF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99761dd39b3de2fe66f5093ec95411ee0db58af","datavalue":{"value":{"entity-type":"item","numeric-id":1139014,"id":"Q1139014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$AA624DA5-19FC-4BD7-9C2D-4B400CBB3A4C","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":"Q791414$29FAC66A-4081-4149-9376-94E77EC2971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52b78bc97131f6bdc5cbbf7640ce6d43e768263","datavalue":{"value":{"entity-type":"item","numeric-id":1060937,"id":"Q1060937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$69AE547E-A8A5-4023-89D8-EC28B4954041","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":"Q791414$EF551091-0E17-43A7-8052-4674A171206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce9daf152537eee43edee8d59227c68c302a05a","datavalue":{"value":{"entity-type":"item","numeric-id":1167646,"id":"Q1167646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791414$69484386-CCD7-4C47-A80C-23D6E05251F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82b717d557aacddf45c4faf158909e839075943","datavalue":{"value":{"entity-type":"item","numeric-id":799451,"id":"Q799451"},"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":"Q791414$E56A56CE-F7C5-441B-991A-308056FE64B1","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":"9d8bd717f94631a86f59a216c7b29fb1f38e1a43","datavalue":{"value":{"amount":"+0.8761152029037476","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":"Q791414$85BC3217-074A-4F51-ACA3-BD1C75CF948F","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":"9accc7900ae12d459cb7128dd34e11eba998bc3a","datavalue":{"value":{"amount":"+0.8721814751625061","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":"Q791414$E77C00B7-ACE0-4DC2-8315-3DC0EC3900A9","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":"9bf1acec6e6b0c9e13f34e419ac87998ef1fcc5d","datavalue":{"value":{"amount":"+0.8195807337760925","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":"Q791414$B9503E40-D888-4493-9493-878DA7CCD910","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":"43be8d981b8420a7fa437381ee2e63c237cc25d2","datavalue":{"value":{"amount":"+0.8106369376182556","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":"Q791414$E07B8039-EF10-40B9-87CB-BE9507226955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniqueness result for extending orders; with application to collective choice as inconsistency resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_uniqueness_result_for_extending_orders;_with_application_to_collective_choice_as_inconsistency_resolution"}}}}}