{"entities":{"Q1428290":{"pageid":1439030,"ns":120,"title":"Item:Q1428290","lastrevid":48262729,"modified":"2026-01-04T04:02:00Z","type":"item","id":"Q1428290","labels":{"en":{"language":"en","value":"A simple proof of Suzumura's extension theorem for finite domains with applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062019"}},"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":"Q1428290$B9B0EB2B-BD85-4156-B5C3-F09D0D8F1067","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016250648a779ba71ab2eaab9e4c57232d903081","datavalue":{"value":{"text":"A simple proof of Suzumura's extension theorem for finite domains with applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1428290$68247B88-9ADF-4639-8367-8AF96A953C45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc5888e25045e76cb76ededd05ed66189fdd77d","datavalue":{"value":"1038.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428290$B878283D-85DC-4DA9-A777-EF90A38D9C70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6371828355d8a126093bcd18d96b7058cd42220","datavalue":{"value":"10.1155/S1173912602000111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428290$323D3784-C9BC-4C91-B9F5-57D3DE426044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dee68058d341fc967f698f3d307304127903b00","datavalue":{"value":{"entity-type":"item","numeric-id":177820,"id":"Q177820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428290$E4FC8640-24D9-47EB-9674-2AAF1CEAE5D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d127085f944eb24026719a2a4a849158864c3044","datavalue":{"value":{"entity-type":"item","numeric-id":86285,"id":"Q86285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1428290$192328F8-C89C-41D6-9896-F26B3C4F4C7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"389b767007343732466af50d3ede33c114d8b0f3","datavalue":{"value":{"time":"+2004-03-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":"Q1428290$2E95EEC2-F934-47D6-A99E-DBC397A5659D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e69bf80635fc341f18d79a2bcb9b785b2b7aee40","datavalue":{"value":"https://eudml.org/doc/123545","type":"string"},"datatype":"url"},"type":"statement","id":"Q1428290$9C71A3B0-B75E-4BA5-8BC4-5D577575CD36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2c1ae66c16e3f7b60c2a3bd3aac5ac001d0bc62","datavalue":{"value":"Summary: We provide a simple proof of the extension theorem for partial orderings due to \\textit{K. Suzumura} [Rational choice, collective decisions and social welfare, Cambridge University Press (1983)] when the domain of the partial order is finite. The extension theorem due to \\textit{E. Szpilrajn} [``Sur l'extension de l'ordre partiel'', Fundam. Math. 16, 386--389 (1930; JFM 56.0843.02)] follows from this theorem. Szpilrajn's extension theorem is used to show that an asymmetric binary relation is contained in the asymmetric part of a linear order if and only if it is acyclic. This theorem is then applied to prove three results. Finally, we introduce the concept of a threshold choice function, and our third result says that such choice functions are the only ones to satisfy a property called functional acyclicity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428290$4210C2D8-983A-4D6F-A475-012CF348092C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428290$531494D4-4AEC-4C0E-A56D-6E331DEA2C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428290$A5818ECB-30DE-4894-B651-F18C84EB9D16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5832a044d305bb8d09b526c91787d59e0b5ca234","datavalue":{"value":"2062019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1428290$6AC5C89A-6B7B-4691-BB6C-E79B1EE35C90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a2051c79e927ad9f44e724aaf6ce87f564eaf4","datavalue":{"value":"partial orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428290$AC669352-0A4A-44B7-B850-FE176B34927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb257e5b300098a649bfcba4c1480ef55b4481b","datavalue":{"value":"extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428290$103B9790-2CCF-4266-AF6C-D54BE664C017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b3f1722ced04314204152c294787644c02676fe","datavalue":{"value":"threshold choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1428290$23D55C03-6C59-45A1-A457-D2B1DF7D11FD","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":"Q1428290$0A344011-0B59-498A-8A26-781E3F8F200A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb96e6277052ec517502a1d9b94b32c93e025fde","datavalue":{"value":{"entity-type":"item","numeric-id":2895982,"id":"Q2895982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6fa698c99faf76cdaaf53d695157d9ffa5a34f","datavalue":{"value":{"amount":"+0.8418575525283813","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":"Q1428290$60B396A1-EE04-4368-A8DD-5793EC8CA633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ebd8d268a7e89aed90cbdc7c6968413ee26685","datavalue":{"value":{"entity-type":"item","numeric-id":1974053,"id":"Q1974053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c59792ea51d9e120f0c3cbde7e574d9e76fda02","datavalue":{"value":{"amount":"+0.8266266584396362","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":"Q1428290$A08836EB-5AAC-4CC9-A6A8-335E0587259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00472cb3fa3b1f458ef519adbd7548fbae3f6063","datavalue":{"value":{"entity-type":"item","numeric-id":2837455,"id":"Q2837455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253493ea0874a45eef5205125cf6b26cb8da4435","datavalue":{"value":{"amount":"+0.7986975908279419","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":"Q1428290$347B1250-7826-4FE3-9659-0B055D68AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65665b633b71c81e429bb24c65fb4be430cc179f","datavalue":{"value":{"entity-type":"item","numeric-id":2473066,"id":"Q2473066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48eb8c2b692992aaa09e906b0385f97558258905","datavalue":{"value":{"amount":"+0.7828307151794434","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":"Q1428290$D12A6DE1-23E8-4D7C-9A00-F63BBF84F1A6","rank":"normal"},{"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":"e21770cf324bf4cf11ffea894c9f48c1a9e1aec8","datavalue":{"value":{"amount":"+0.7648554444313049","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":"Q1428290$3FE306B7-367E-4C88-BF6F-236E47A263D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1428290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1428290"}}}}}