{"entities":{"Q1178488":{"pageid":1189237,"ns":120,"title":"Item:Q1178488","lastrevid":66514158,"modified":"2026-04-12T10:35:20Z","type":"item","id":"Q1178488","labels":{"en":{"language":"en","value":"The complexity of antidifferentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 21707"}},"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":"Q1178488$ACDAD82F-B405-4E73-B4F6-C3D66543271E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0194fd5b842089a21f6c2da3438bc68543be97d0","datavalue":{"value":{"text":"The complexity of antidifferentiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178488$53A656D7-D600-4DE0-B5A1-974F5855EA68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f9989178dbe6aa771d5300b7298321d41789f6","datavalue":{"value":"0739.26005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$405D9E7B-4277-48A4-A1FA-F080BCB7CE90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e40ac7b86901dc025f7036f75403ec490046f5b","datavalue":{"value":"10.1016/0001-8708(91)90006-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$037D910B-75A3-463D-8900-1FF5E6A5EA6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b93b582b448b46db04bf39f73a103154a632e4a","datavalue":{"value":{"entity-type":"item","numeric-id":418143,"id":"Q418143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$94E6D791-AEBD-4C92-8982-E7ECEEC74E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fc6aeb9ee1a9d45da3cff6ae17ea324f0218ae","datavalue":{"value":{"entity-type":"item","numeric-id":242610,"id":"Q242610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$1944D850-440A-4E5E-8B01-6E925F8CDB44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$A7CA5EFD-085D-43C9-B358-7FCDDC8CAC18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178488$0CCCAB5D-4BFF-4C24-B95C-A7D07362507D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a97228295bd92da5d873d2939a973ed6ef4712d","datavalue":{"value":"Denjoy showed how to reconstruct the primitive of a derivative using a process involving transfinite induction; and given any countable ordinal Denjoy gave an example for which the induction needed that ordinal. However it is possible that this is a property of the process rather than the problem; that is some reconstruction that does not need the totality of the countable ordinals may be possible. The main result of this paper shows that this is not the case. Let \\(C^ \\omega=C([0,1])^ \\omega\\) be the Polish space of sequences of real continuous functions in \\([0,1]\\); \\(C([0,1])\\) being given the uniform metric and \\(C^ \\omega\\) the product topology. Let \\(CN\\) be the subset of \\(C^ \\omega\\) consisting of everywhere convergent sequences; \\(CN\\) is not Borel, being co-analytic. As a result (i) there is no analytic set \\(S\\) such that if \\(\\tilde f\\in CN\\) then \\(f\\in S\\) iff \\(\\lim\\tilde f\\) is a derivative; (ii) there is no Borel set \\(B\\subseteq C^ \\omega\\) such that for \\(\\tilde f\\in CN\\), \\(f=\\lim\\tilde f\\), \\(f\\) a derivative, \\(f\\in B\\Leftrightarrow\\int^ 1_ 0f>0\\); i.e., the operation of antidifferentiation is not Borel.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$4DBE7B61-F789-4B74-9AF9-4F6B95ADE9EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e79eda5abd9211d776b9190a719dedd7878bb0c","datavalue":{"value":"26A39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$F8F47679-420B-4A6B-BB7C-9B0E04F89D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9962ca7ab016809ca988998e86dcaf9d1481b544","datavalue":{"value":"26A36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$D285B488-F99B-44EC-80B1-EBC6DAC5F831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$3219065E-CE32-4734-9A02-83A4AC45AE3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c9d3c9349b9f5a0940aa08203aaed77e805717","datavalue":{"value":"21707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178488$080E35DF-AAE3-42D6-B300-3FCF5E7F6140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ace576af011994e950de4e0f031d677b804253","datavalue":{"value":"Denjoy totalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$3AA344B2-45E8-4E35-858F-30840D25CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48e3aee718bfc0f733da2c978fd9a13aa50a7aa4","datavalue":{"value":"constructive concept of integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$D84296BB-5AFA-4995-9080-E47FDB2F9672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23896f11ac4d2674821376c1d8fb52a78861278","datavalue":{"value":"primitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$2D0EF333-B984-4013-AB20-6FF0EF34E471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20cb5f900346d6218be2e7d1c87b3ca77a3b494d","datavalue":{"value":"reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$C764CA25-9C4B-4682-92BD-E472F6D8CAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4149c0314cb9ee2710b1c479da2969d713078d1e","datavalue":{"value":"antidifferentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178488$D191685E-1D4C-4842-A32C-00EA88ED28B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8fd32bde750c4d5f4051393cbfd4d782e11d619","datavalue":{"value":{"entity-type":"item","numeric-id":590621,"id":"Q590621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$09B7A83A-F507-4832-A74D-CE02C30A8F88","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":"Q1178488$BFA48CC2-2C16-41F7-BD0A-9744EAE53ACD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17760674e6d203872ca9819c1e066c0ddf9d07c7","datavalue":{"value":{"entity-type":"item","numeric-id":5338374,"id":"Q5338374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$9E41E614-2820-48C6-91C9-F8A3D5A07CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$E9B52596-9618-4520-9D43-B3D9CCE83BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4779567803857e64a418bdd845733f43ce3042","datavalue":{"value":{"entity-type":"item","numeric-id":5631354,"id":"Q5631354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$5993FFCF-E89D-4C86-A942-63AA85C8C656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1559a55aa6b69d0f647e53081d5e14765710a03","datavalue":{"value":{"entity-type":"item","numeric-id":1141768,"id":"Q1141768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$DC00FA4F-B1F0-4028-9328-6F003A08E1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff01973246ac9f4bf3668eb1527cb5bc0cb46ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5802298,"id":"Q5802298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$3C452BF6-3A74-49A3-B845-C3BC77D5F5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9b61a91456c97f8f2ca607859c48aea435b360","datavalue":{"value":{"entity-type":"item","numeric-id":3819250,"id":"Q3819250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$EAB36441-552F-46EA-9686-495AF8044145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c706e8480e8687c06dc26b7394ba88973319611","datavalue":{"value":{"entity-type":"item","numeric-id":3754612,"id":"Q3754612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$DB963737-1D18-4F4D-AECB-97480C66BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e030b831049d5a7295de60267e1e2459689ce68","datavalue":{"value":{"entity-type":"item","numeric-id":3041182,"id":"Q3041182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$71AAC6E8-568D-452A-8809-F62B66E6141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e4bebc0d3492458216eb2f64c777cb3b66be1d","datavalue":{"value":{"entity-type":"item","numeric-id":1147132,"id":"Q1147132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$98104D89-80E6-4403-A9F1-12C9B927BCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$B2CB24B0-1A6C-423A-A80D-6E675FA05664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3838faff57afc045cd2ab672963efde420d12da4","datavalue":{"value":{"entity-type":"item","numeric-id":5605997,"id":"Q5605997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178488$9F94E512-F25C-4780-9D8C-7B9D4496F03E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dd8da829cbfb3333941a2631381db04951837e","datavalue":{"value":{"entity-type":"item","numeric-id":3819250,"id":"Q3819250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7765e775c0c9dfc91b85fa27a5417bddb3b895","datavalue":{"value":{"amount":"+0.8957241773605347","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":"Q1178488$43817FF8-0DAF-4D82-A883-FAA4437C1134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b291a7fc3f20a5f622b4b2ba1e681a9698b13d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4858804,"id":"Q4858804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe311bac4ccd932966777180d53d53fe252f6b4","datavalue":{"value":{"amount":"+0.7964670062065125","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":"Q1178488$4F09E26F-8178-4FDC-968F-D51CA095E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6dacd2d4abc19d373e16cd62b992402ffd5b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1176315,"id":"Q1176315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016a2c1ea570b486c2776f48431a607fc14826ce","datavalue":{"value":{"amount":"+0.7214969992637634","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":"Q1178488$F38DA29F-36F1-451C-8832-4CA6F60FFE07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of antidifferentiation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_antidifferentiation"}}}}}