{"entities":{"Q1103041":{"pageid":1113793,"ns":120,"title":"Item:Q1103041","lastrevid":69647577,"modified":"2026-04-13T08:26:37Z","type":"item","id":"Q1103041","labels":{"en":{"language":"en","value":"Well-ordering and choice in toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051857"}},"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":"Q1103041$25AA687E-B8C9-4F75-B8E8-97DBE72B4334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f1aadffc9283d21438904b9f7865008472bad9b","datavalue":{"value":{"text":"Well-ordering and choice in toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103041$F5548383-B352-4CFC-ABDA-BE715FBFF8C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"894da7f6687e12d2c9898ec7cd00a172a615b3fb","datavalue":{"value":"0645.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$54B89639-2D01-4B3E-A8A5-32DC72FAC2DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dafd6bb11bd0f109bf3e6883639450a7e191609","datavalue":{"value":"10.1016/0022-4049(88)90113-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$3D5B88AB-B195-4784-A8CC-83933FBB2FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bb12d514db72bd058fa36eeb2e7777e9e37cb5e","datavalue":{"value":{"entity-type":"item","numeric-id":1103040,"id":"Q1103040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$70301853-B4A8-41C9-A8B3-C27924E43291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$B29202C2-6208-4671-9EF2-EB07A46922DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1103041$C994571C-D97F-40B3-8D75-1C0B431562B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5611d4d067ee20ccf00235217e10b76c4d1bab15","datavalue":{"value":"This paper gives a new illustration of an interesting feature of topos theory: results or concepts equivalent in the context of sets are no more equivalent in the general context of toposes.    It is a well-known result by Diaconescu that a topos verifying the axiom of choice (every epi splits) is boolean. What about Zermelo theorem on the equivalence between the axiom of choice and the fact that every set can be well-ordered? The answer is as follows: the author introduces a new definition of well-ordering, which coincides with the usual one in sets, and constructs non-boolean toposes such that every object can be well ordered.    In section 2, a new definition for the axiom of choice in a topos is given, which is equivalent to the former one for sets and which does not imply booleanness as it is proved by the construction of examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103041$90F3BD59-BCC2-4DE5-82B8-55B477436103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$66218054-EF15-41D6-8C8F-7C74E1C1D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$1D9E38C4-DF65-4683-801D-7DAB057F1D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2f04f341bcbc64289a724b00cfc401bce69f415","datavalue":{"value":"4051857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$C5E34C44-B8DC-46BB-B441-F76FF007C76A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf61adb3f7db7a55e2798a0cb6e7de872cff617","datavalue":{"value":"Zermelo theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103041$00C00C83-FE55-47AF-9FD7-5100C5055959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103041$CD6AA197-F20D-4B60-A8FB-4815962FA36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72955e5f95b506716c447d5adb2f8731b3acf4a5","datavalue":{"value":"non-boolean toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103041$1CC6EB16-D48A-443D-A4E4-38E1FDAEE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27d98df68e207e22ad073d8368eef2ac9004fd40","datavalue":{"value":"axiom of choice in a topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103041$4464EB8B-E1AB-41F0-A441-7D7686886B87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8af24bfd10b7ac3f1c1257cd8a47ae6c360b3ad5","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$517DEFBB-89A0-4674-813D-4B202E399D6D","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":"Q1103041$909C7629-F76B-40BD-B5F1-FD829B3AAC8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4de9efd4ceb3f9aba860c3f0a78ffe01f23c97be","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90113-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103041$CA3C071B-1202-4A66-A5C1-ACA0C634508F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5837044af25906d479f91f8f05472b651bdc7943","datavalue":{"value":"W2030860303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103041$1C012C9A-8AF8-4FE2-A919-EF28E1FB19B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa727f223b4a3fbf6d79ebd24a197cf5e5ef1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4043210,"id":"Q4043210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$09B5E38B-B87E-4DF4-8305-640765C5397A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$C1F67BEC-7422-4902-80F8-33D6E8C0A61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$AD050ED4-260C-4ADD-B656-C8E3C0218CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f48d5742dbdd3ef0c7a68e3234bb90a4bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":3889051,"id":"Q3889051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103041$DDFE7472-1CC5-4015-9F11-BA92858FC013","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1553e77d1f27b35e4b64417c7b70cc27319c97ca","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"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":"Q1103041$20C5DF3F-00A5-44E5-A5C4-CB59202074EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da3c23bf34a64f63b72dfbffc1c7cb8517932159","datavalue":{"value":{"entity-type":"item","numeric-id":5713087,"id":"Q5713087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c39d5761dfca15c3b0920f70077e5b84414a315","datavalue":{"value":{"amount":"+0.8018399477005005","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":"Q1103041$66939341-21B9-4B2B-9F42-4C1BC4960E25","rank":"normal"},{"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":"01264a6c6de87d42f396dfc7a16ecd7e21458f6c","datavalue":{"value":{"amount":"+0.7924664616584778","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":"Q1103041$ACD6C67C-69EB-4D9B-8FF5-0396D942970B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9331dd9cf73d1359c39dd9bd95782f735950d47","datavalue":{"value":{"entity-type":"item","numeric-id":3397211,"id":"Q3397211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79abb8e60ce8b7fcea8943ffd01c9d09e32a5a1","datavalue":{"value":{"amount":"+0.7912494540214539","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":"Q1103041$7F3D1D0E-7F40-471C-B084-C2FFB5D099F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6294d85ca838d5412ac2fb1361e917b7810a82","datavalue":{"value":{"entity-type":"item","numeric-id":2993126,"id":"Q2993126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1604d963624dc353da46c04e1167a9321267653a","datavalue":{"value":{"amount":"+0.7779025435447693","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":"Q1103041$59888495-74D5-4AFD-A2C0-50165F13D0FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Well-ordering and choice in toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Well-ordering_and_choice_in_toposes"}}}}}