{"entities":{"Q1362586":{"pageid":1373325,"ns":120,"title":"Item:Q1362586","lastrevid":46891584,"modified":"2025-12-25T19:27:18Z","type":"item","id":"Q1362586","labels":{"en":{"language":"en","value":"Constructing Cantorian counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1044152"}},"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":"Q1362586$D5BD278C-28F1-4115-A4AF-868BCBF70215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70fdbc73d6292b946d0d9e31aaaffdf1d5ebbe51","datavalue":{"value":{"text":"Constructing Cantorian counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362586$9232266C-D55A-4566-9389-D309DBABE249","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7aa432d2f4ed807d0afc5aae0e9dfd185efc3af","datavalue":{"value":"0877.04001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$43FBC50E-4500-47DD-8DD1-FD9ADA6590C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6da56242f251a88f120e09181449a93a96494a7","datavalue":{"value":"10.1023/A:1004209106100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$C75FFADA-0BC2-4A17-B57D-58FEE9BF3865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362586$B3F67EA4-05E7-465E-96D6-931B5E27E15F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362586$AC12BB5F-4ED3-4ABA-BB15-8B164A4E52BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"440cb9a80eec08c02fdca7fb132ef7e4b1975f72","datavalue":{"value":{"time":"+1997-08-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":"Q1362586$9C89CBA9-EF5D-44BB-953E-434FAFF85322","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0927098158e0e17a33ce5648eba5f8786144b92a","datavalue":{"value":"Cantor's well-known theorem on the power set follows from each of the two propositions: (i) There is no surjective mapping of a set \\(A\\) onto its power set \\({\\mathfrak P} (A)\\). (ii) There is no injective mapping of \\({\\mathfrak P} (A)\\) into \\(A\\). The author constructs a proof of (ii) which is in some sense more constructive than the usual proofs. As a strengthening of the non-injectivity he further proves: If \\({\\mathfrak P} (A) \\to A\\) is a mapping, then there exist subsets \\(B,C\\) of \\(A\\) with \\(f(B)= f(C)\\), and where \\(B\\) is a proper subset of \\(C\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362586$F11BA3AC-1C5D-44F6-98F4-360A2B9054E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$9BC51B69-2244-431D-8EDD-A062A1A138B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$934FC698-B6F8-4732-BA88-FA80271BB901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37331cda65725244dd1f52795c2acb6c1ec87afa","datavalue":{"value":"1044152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$4610403A-7E89-42FC-9F58-22D360DECAA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fd1c79a080386cbbfbc19d24d04f364ade741a","datavalue":{"value":"Cantor's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362586$F3732A21-FAA1-43CB-9E20-CB9EA3DAC21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59daaf545a83f9bebd8db40209fb55b2dc0dbdce","datavalue":{"value":"diagonal argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362586$1EC13562-F742-47D5-9078-E0F82F8A3184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4417fbe70cb1930908552c1d0852a4de386ed6","datavalue":{"value":"power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362586$ED6374A4-28AF-44B8-9BB9-67BE1613AC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7401c9875879d328ddc27e6f06e2099e3ea9d","datavalue":{"value":"constructive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362586$5CF0F4C0-353E-474A-BF2B-FEC1B439BC11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362586$D6347787-8FC5-4EEE-A8B0-232FC2B1A7B2","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":"Q1362586$6F5C9782-E568-4F0F-A2F6-D13040DD450B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"01e92a46a40d4b1a4dc3de8ebcdd640f75792be0","datavalue":{"value":"Q124983563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$D315A0DD-F946-425B-B982-B753F91E1643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c02e07948e7ed1699ccdfebd52844d1c512e9bdb","datavalue":{"value":"https://doi.org/10.1023/a:1004209106100","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362586$F20B95B4-A3CA-4A41-9802-CD3BBE847B54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e790dd1b3c4ab51a8f85fcb3574c080e50e71d1","datavalue":{"value":"W2055234364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362586$16C8B3E9-0301-4DE5-B83D-F27A3C2411B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ebcb26770ed6f637f993a732d3a54d0be200ed","datavalue":{"value":{"entity-type":"item","numeric-id":2565993,"id":"Q2565993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2618ea5740eae4b9d6c1f2880e37d166659dd0","datavalue":{"value":{"amount":"+0.807670533657074","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":"Q1362586$1015A2D9-C870-4214-BE13-C70FB1C4A1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77280d981c49c5f2f56c5d1ba748184203c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5108121,"id":"Q5108121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2d5945b360363399db299f34e72b8344523d63","datavalue":{"value":{"amount":"+0.7967963218688965","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":"Q1362586$8ADC23BE-0A08-40DF-8D12-654AF3CF61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291c12e650711c1f9596c6df998522ebd250c854","datavalue":{"value":{"entity-type":"item","numeric-id":5687407,"id":"Q5687407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905d396cc794993085540ab5dfb48151368ac2ca","datavalue":{"value":{"amount":"+0.7324053049087524","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":"Q1362586$C954FDBD-4803-4370-BE4E-711867DF462F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c6c181a1074cc92c3a50809b6e30562e4d6de8","datavalue":{"value":{"entity-type":"item","numeric-id":3741774,"id":"Q3741774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee808fa1b797d0bc51e0950899d6737bd851e327","datavalue":{"value":{"amount":"+0.7306828498840332","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":"Q1362586$587F27AD-53A3-4450-8726-006AAA50675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedb60448a06c39d3240d59a0f784526cc9cd5e4","datavalue":{"value":{"entity-type":"item","numeric-id":6485113,"id":"Q6485113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3af14ccc6b4c57e829df0059f2cb929811c4ffe","datavalue":{"value":{"amount":"+0.7285287380218506","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":"Q1362586$914971F1-B5E7-4AE6-99A7-5E4D208DCEE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1362586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1362586"}}}}}