{"entities":{"Q2758049":{"pageid":2768788,"ns":120,"title":"Item:Q2758049","lastrevid":83109785,"modified":"2026-05-07T06:05:58Z","type":"item","id":"Q2758049","labels":{"en":{"language":"en","value":"An intuitionistic version of Zermelo's proof that every choice set can be well-ordered"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679322"}},"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":"Q2758049$287A0AC5-F79A-42C0-956B-775F1D06F075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4bd24149184f7c54e1e67247bfeea34857d76db","datavalue":{"value":{"text":"An intuitionistic version of Zermelo's proof that every choice set can be well-ordered","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758049$590143F2-3B4A-433A-B310-A40A07EB04CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e2bd115fe214fd3c3e78aba12df8a47f125da6e","datavalue":{"value":"0988.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$1A7F4464-D103-4EAF-97D2-D5A23D26A775","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06127c7bc7b71c395d38d8433089ef4aa0b2ceb0","datavalue":{"value":"10.2307/2695096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$1922FC5F-BFEB-4959-8CB2-1C8D14EEF95D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a08f112d376cf2e34f534511eb3548ab17a3806","datavalue":{"value":{"entity-type":"item","numeric-id":2758048,"id":"Q2758048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758049$377CB12B-2B31-4631-B003-D86586EAA15A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c49da5ceb3346ef7151386d4abe919b4fba4873","datavalue":{"value":{"time":"+2002-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758049$62B6A061-D5BF-4E1C-9234-0457D2844116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$D60C1690-5F97-4BF1-A069-F8DA072CBB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$D27B6641-CD49-45BD-85F0-DB1E3E4E2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$CF463F57-10D6-478F-9B9B-B62A07A35511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$B56825BC-D00E-4C28-8804-8EF849E01C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$4FA975A8-E044-4854-AD27-EB31BA2E5FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e58b30f433a06b0bec11096d4aa9f78e73b10fc","datavalue":{"value":"1679322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$95816E50-351B-4235-A23D-1C82F2343CC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$367EAF90-77E9-416D-9F05-5DCF0982D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$4A37103D-C45D-47BA-86CC-FD88B27ADBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$77681D62-B85B-4C9E-B6F5-993FB78891E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$5046C640-4F9D-43AF-A212-7C258DC9EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$329BAB45-DC34-4E42-AAE2-2C284FA0F995","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":"Q2758049$61FB1371-FBEB-463A-92F4-AF25F19160EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a6610331779ebb30656f36c3b8f6b4f8df9f839","datavalue":{"value":"https://doi.org/10.2307/2695096","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758049$D74C0A7F-3BD7-4B60-8DAD-01CFC1B90254","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c0ebeaa22dc5f27e42b8e4e1168f99c6125aad","datavalue":{"value":"W2046437992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758049$A5C10C78-31EA-41B1-8FD4-E6C13CD21C8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3879fdfca670d7f071d7baa350b899a1e5e0f697","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758049$AC77A375-3E1B-418B-B954-FD150687C010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758049$5AB56741-2446-4D6A-A7FC-28CDFAB0882E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc68e8f1b09858a8efeb5e276967e4ba2d1adeac","datavalue":{"value":{"entity-type":"item","numeric-id":4876313,"id":"Q4876313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b112d6ea849299f7ec7583a00adb22eab0529f2","datavalue":{"value":{"amount":"+0.88682485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$1C38F90D-4331-4072-8D79-28F07649E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf60381b106543834ab78d8e2b5e20adbd039739","datavalue":{"value":{"entity-type":"item","numeric-id":4027776,"id":"Q4027776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd608552b7d22f673c5b5246e3dc0f402bb47df","datavalue":{"value":{"amount":"+0.88535225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$4ABC58F5-36C6-4D97-BE88-DE8FA9683FAD","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":"6cf27d338585cefabae42b593e802a78a35de17e","datavalue":{"value":{"amount":"+0.878791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$12C170DD-9B9D-4C8A-872B-6A22554E2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d4752beb5d86941d266229173b4a2b4468dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1820780,"id":"Q1820780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d11515755fbf31ab9ad24164d7e93e37260b1c","datavalue":{"value":{"amount":"+0.8764622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$32F76578-FEF8-4F32-8361-C4C9BA1527F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1784dddd8223608d6827eae34d9f612b21e886b7","datavalue":{"value":{"entity-type":"item","numeric-id":4204144,"id":"Q4204144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b47ae2396e653050f3dc7f190570b18a366ef1b","datavalue":{"value":{"amount":"+0.87362486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$7FF6DE73-1818-48E8-8FE1-CDB51199281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029c17db0d0a92bfc34c366d110399d8b7a9e0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3356302,"id":"Q3356302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b47ae2396e653050f3dc7f190570b18a366ef1b","datavalue":{"value":{"amount":"+0.87362486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$040551EA-6875-4190-815A-1C28F9D7BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f093a371648da241e0e27c15160dfb51a6dc0a","datavalue":{"value":{"entity-type":"item","numeric-id":5192299,"id":"Q5192299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21487c2364eafdb401915b71ba6607fbd2b756f3","datavalue":{"value":{"amount":"+0.864481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$034702AD-98B1-48E2-AD35-EC0AE28B4EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3480c18c8d19fe7ebc3213b31603c5d91863add8","datavalue":{"value":{"entity-type":"item","numeric-id":2921002,"id":"Q2921002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2324e2345f144d60b46c00e05e7e368c45226455","datavalue":{"value":{"amount":"+0.86249995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$630FA3FD-86E9-4CC1-8FCA-C0B204173365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f919714b7319f42905b3aae65c17f999987a050","datavalue":{"value":{"entity-type":"item","numeric-id":4372921,"id":"Q4372921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3239430b47f1d1b3f96ea761eff6b3dd19cb11f8","datavalue":{"value":{"amount":"+0.86229014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$9DED0097-6E3D-49FB-806D-ED7DEC46E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39169da5fdef24d5c6efb3a36af7e2cd02ba8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3094183,"id":"Q3094183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55d02ede9da2704907b088e353d4441ce310bff","datavalue":{"value":{"amount":"+0.85817504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758049$475918B3-B308-4694-9ADD-C3AB9024FC87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758049$B03A2DD2-9F9C-442F-A7F6-E540982C4F9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29912a9305e9f95cdbe1cc9b8146bde2f2d53338","datavalue":{"value":"The well-known theorem of Zermelo states that any set possessing a choice function for its set of non-empty subsets can be well-ordered. The paper under review presents a generalization of Zermelo's own proof of the theorem that is valid in any elementary topos. It is, however, doubtful that the proof may be called ``intuitionistic'', because the form of the generalized inductive definition it uses is not likely to be acceptable intuitionistically.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758049$B16DB3C9-13A4-4B10-8B9F-B8B9CF9C9DFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c35b29d62764e885bd29a3001fc5bdbafbb9ec","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758049$B861141F-EA33-454A-88E8-6617CCB2F320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic version of Zermelo's proof that every choice set can be well-ordered","badges":[]}}}}}