{"entities":{"Q294076":{"pageid":295843,"ns":120,"title":"Item:Q294076","lastrevid":60756156,"modified":"2026-04-10T18:56:42Z","type":"item","id":"Q294076","labels":{"en":{"language":"en","value":"Would real analysis be complete without the fundamental theorem of calculus?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591162"}},"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":"Q294076$2DA8504B-1EE9-4A6F-9E21-41AE294ED5AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19897ea90a637cc684c78c1deec2d66af676b474","datavalue":{"value":{"text":"Would real analysis be complete without the fundamental theorem of calculus?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294076$74E5BD4A-DED0-4715-AC00-3AF882AC7839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"314a3aee5eef3d70951d583c8881fcbc44f16d95","datavalue":{"value":"1347.26007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$FAF7D977-11FA-4AED-A002-E502A5A7D44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"268900ba287b3756785c16524381ebabfc1be282","datavalue":{"value":"10.4171/EM/291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$3E5899C8-7E33-471B-B74C-F7406470FDDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc82b74c2035c5343ea6ead120e2798bd76b49a1","datavalue":{"value":{"entity-type":"item","numeric-id":294075,"id":"Q294075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294076$65417206-8601-4A06-9517-E38FCD23D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce323d47cb8e9b215fc9b62c8680597a5c2949cb","datavalue":{"value":{"entity-type":"item","numeric-id":166386,"id":"Q166386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294076$73561A9D-9D4C-43F0-80CD-AB06A46537A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"255223deab9a614645300983eff9e9b445f432d0","datavalue":{"value":{"entity-type":"item","numeric-id":207920,"id":"Q207920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294076$87C2A812-AD6D-41D4-B69D-2B632CE21C52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294076$A2742A43-F202-4AD3-A596-C3308DCCF780","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6d40527bfc9ba9a747e7e9312b5250e572e976f","datavalue":{"value":"http://www.ems-ph.org/journals/show_pdf.php?vol=70&iss=4&issn=0013-6018&rank=4","type":"string"},"datatype":"url"},"type":"statement","id":"Q294076$4D123008-6973-4A2D-AB32-7BD03BE61341","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf84718a18d238fd8f2e2c5de7d9504e5ab40729","datavalue":{"value":"In recent years, many results in real analysis have been shown to be equivalent to the completeness of \\(\\mathbb R\\); see the paper by \\textit{J. Propp} [Am. Math. Mon. 120, No. 5, 392--408 (2013; Zbl 1305.12002)]. The present paper adds the fundamental theorem of calculus to this list of equivalencies. This is done by the following two theorems. (I) If \\(\\mathbb F\\) is an ordered subfield of \\(\\mathbb R\\), then \\(\\mathbb F\\) is complete if and only if every continuous function on a closed bounded interval has a uniformly differentiable primitive. (II) If \\(\\mathbb F\\) is an ordered subfield of \\(\\mathbb R\\), then \\(\\mathbb F\\) is complete if and only if every continuous function on a closed bounded interval is Riemann integrable. The main part of the proof is the construction of a continuous Propp function that has a primitive whose value at \\(1\\) is in \\(\\mathbb R\\setminus \\mathbb F\\). This paper has several other interesting results related to this topic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q294076$6878C560-4305-4E70-8525-DEB357877764","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":"Q294076$4EC20DDD-DAA5-4618-818C-6E3CD6666D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fb869c47c77f85bf489fe6256cd842d0e431ffd","datavalue":{"value":"26A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$3960C5F3-3FDF-4C60-AA39-CEFBEFB4896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$53175BEB-FD11-4C33-B27A-AF5502A76E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff3eda259169ff970f6c3965a7811beb0bbcb4db","datavalue":{"value":"26A42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$D0FD5E85-8BC3-4482-A9D0-474AF7051D42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"139213f37e1d088fc218dcbcb4a3b730c06f1bb1","datavalue":{"value":"6591162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$6D0C138B-4DA1-4B6F-8F6D-19D0BD7F71D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q294076$BCC43F77-A601-4408-A182-3F3FA706EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab31c9d536a333990f5b03b531b5b66cb7c5a68","datavalue":{"value":"fundamental theorems calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q294076$CEB9A528-AC0B-40FE-9C4A-C30F533140D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248801a8de9ec8233634c8dc5037179e03df588","datavalue":{"value":"Propp function","type":"string"},"datatype":"string"},"type":"statement","id":"Q294076$C9009DF6-34B5-479A-B51E-DA06CEE6BE56","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":"Q294076$1C1F2C03-A56F-4A58-8518-14F7A1612585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"732c7b80410051a9293514724990b299d56bd484","datavalue":{"value":"W2963518195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294076$8F5E383D-B30E-4AAA-9CE9-537EC34822C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5d081f871eef8fc0fe4ec048777c2347126e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5410759,"id":"Q5410759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232ddc8eb4e8ec8d1fa54a72f23c8a6cbd097c09","datavalue":{"value":{"amount":"+0.791976273059845","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":"Q294076$4D9C7ECB-28D1-4144-9FB1-EFF46CA91845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65159a83ce7cfef3d9fb5cf20821974f56ca04ec","datavalue":{"value":{"entity-type":"item","numeric-id":2847006,"id":"Q2847006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681c7da3d45fc0d2929935a450957d0913d4b0b9","datavalue":{"value":{"amount":"+0.7678300142288208","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":"Q294076$BBCEA7F5-55E9-4776-B038-81FD0F2CDD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8e578c84a1a63045b57ff54fd15bab902a0c40","datavalue":{"value":{"entity-type":"item","numeric-id":2356299,"id":"Q2356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8aa9408df0a647355e3e1c9eb0518aa72abd9f","datavalue":{"value":{"amount":"+0.732581615447998","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":"Q294076$3D8E0651-9DF9-4C04-A900-4DCE09A63B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8690c0c8d7d9af0e936f047d9700aa5989a1dd2d","datavalue":{"value":{"entity-type":"item","numeric-id":4921848,"id":"Q4921848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c855bd7a952798bae4b3d667227562ce0bca4e8","datavalue":{"value":{"amount":"+0.7225866913795471","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":"Q294076$BE834B19-63B5-4D63-AE26-15DC073F424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94ffed158266100bf56b83258f0ee0b04b14c63","datavalue":{"value":{"entity-type":"item","numeric-id":686409,"id":"Q686409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4eefc36d0a7f100ded4d7807be8a9b39d43edd7","datavalue":{"value":{"amount":"+0.7069528698921204","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":"Q294076$5BAF34AE-BC4E-48D1-B41A-B3A66C962D09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Would real analysis be complete without the fundamental theorem of calculus?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Would_real_analysis_be_complete_without_the_fundamental_theorem_of_calculus%3F"}}}}}