{"entities":{"Q579255":{"pageid":581022,"ns":120,"title":"Item:Q579255","lastrevid":62923011,"modified":"2026-04-11T09:00:44Z","type":"item","id":"Q579255","labels":{"en":{"language":"en","value":"Choice and well-ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014716"}},"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":"Q579255$F871F024-8C41-479A-94D6-D9EB038C6E1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be69c9ac1b3def24e917359514213f01044ebcc5","datavalue":{"value":{"text":"Choice and well-ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579255$C088786D-BB23-491E-B880-D28F20AF3729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7db6e91b6742a10af77b04e54326c7b9f1a950cf","datavalue":{"value":"0625.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$94342A95-DCF0-43FB-9605-6A77C47ECB94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f1fc3d3839e6458c438230066ad11370a7e80c5","datavalue":{"value":"10.1016/0168-0072(87)90060-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$6C52C5C3-297A-48BB-BBD8-8C1F47A58E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579255$0DBDA150-509E-477A-9682-846C6EBEA69A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q579255$49ED1F4E-B9EF-49BA-B93A-C62D75281BF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2811d7dbf4877cd000187ee44d7b88cbd6224ef8","datavalue":{"value":"It is proved that a well-ordering of a set S is intuitionistically definable from any choice function for S, finding an element in any non- void subset of S. The proof is presented in topos-theoretic setting. Main leading ideas are Diaconescu's theorem that the axiom of choice implies excluded middle and the classical derivation of well-ordering from choice. The author's guess was that the language of topos theory is necessary to present his proof, since its recasting in the language of intuitionistic set theory needs machines not yet in existence. Meanwhile such recasting was done by \\textit{P. Aczel} [Every choice set can be well- ordered: An elementary proof in intuitionistic set theory, 14 typed pages] and the reviewer was told that A. Blass published a similar proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$80BDC80B-2660-429F-BF5E-487B30D52BE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$6C9B40D6-9904-40C9-B93B-33EDC26FAF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$B54CE7F1-6F9C-478F-A912-ECF131F019E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$8A275903-7879-42DE-AB90-BACFEE36CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$8E7D239F-2A8E-4DDB-A12F-FF8438D55B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$68658D45-5FF0-4118-9B2E-E3A8FE8CE9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1543df06e2fd3c10ec3a6c2215417d0184eec0bd","datavalue":{"value":"4014716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$CDFF37B6-C89C-4D41-B8BB-F2CCCB168A36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c2991d1eeef631cb55fe936789718b31aea58b","datavalue":{"value":"intuitionistic definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$A02301D2-A39F-4FE0-9CB8-0D9A64FB1485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$95604F18-2C9F-4A66-ABA7-C9CCD6287844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$2ED379CF-171B-4EDF-ADE5-3567945AF248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$22253753-0857-439E-AB11-84CF622CA4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b3d2b6b47dae6657c46e82106c011e81b18bb","datavalue":{"value":"excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$11BBB1AE-0101-4EE0-9037-AEFF4EF2D362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$22904EFA-BABF-4874-986C-4E6E8451B2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q579255$995275C9-BFFB-4A0C-9082-574DD7A831D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579255$A5A897F4-C02F-4798-9168-000EE8A7DAE7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579255$673B4801-EFEA-4520-91C2-5CD206765AD2","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":"Q579255$BADF3B14-DCE9-4246-8300-689182448A69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd76a605ec8c4827e6d400acc93528949209a773","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90060-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q579255$9F53F7DA-B641-44E0-820B-5661EDC415F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"179b9a9fc39b48194f19ba3e17f668ddef7ee9ae","datavalue":{"value":"W2014718463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579255$50AECC0A-8FCA-4B41-AEEB-54489F59CEA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39d481518c3fc9cfb510bc7fdb92666eca0988b","datavalue":{"value":{"entity-type":"item","numeric-id":2758049,"id":"Q2758049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a791b11da383ed9813b2ad80d038e502551434","datavalue":{"value":{"amount":"+0.8526349067687988","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":"Q579255$AB8EF611-D5F6-44FB-8833-F3EC9023AC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abe1285cf38c92df146bace54d8582d0dd21728","datavalue":{"value":{"entity-type":"item","numeric-id":1103041,"id":"Q1103041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b35e4a120e89f17d44ac002eaaab4b7436f036","datavalue":{"value":{"amount":"+0.8421503305435181","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":"Q579255$0664565A-EF5E-4170-9FA8-189F282D958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8308608f5c03ddfbe324dbce555fb603dd66696","datavalue":{"value":{"entity-type":"item","numeric-id":3801546,"id":"Q3801546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8a99b05563b2d0898c939bc7a41ed1a24cc4e1","datavalue":{"value":{"amount":"+0.8400455713272095","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":"Q579255$CF9015F5-66E7-410A-8653-E872F336FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524ddecf08cde16fda905bd086a0458435d4f3db","datavalue":{"value":{"entity-type":"item","numeric-id":2941660,"id":"Q2941660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6210556647a97ffea02108d60d7ec02a201584","datavalue":{"value":{"amount":"+0.7747887372970581","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":"Q579255$6E6F1585-B860-4947-AFF2-85839B9EBE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192339a8e85b2c1008bfe0c5389600bd3bd66642","datavalue":{"value":{"entity-type":"item","numeric-id":3612443,"id":"Q3612443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c13596e2c3e02c9c2152918b9e263b61143139","datavalue":{"value":{"amount":"+0.7701143026351929","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":"Q579255$EA15E505-79DC-44A0-9490-B40868DE821F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Choice and well-ordering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Choice_and_well-ordering"}}}}}