The complexity of antidifferentiation

DOI10.1016/0001-8708(91)90006-SzbMath0739.26005MaRDI QIDQ1178488

Alexander S. Kechris, Randall Dougherty

Publication date: 26 June 1992

Published in: Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

reconstructionprimitiveDenjoy totalizationantidifferentiationconstructive concept of integration

Mathematics Subject Classification ID

Denjoy and Perron integrals, other special integrals (26A39) Complexity of proofs (03F20) Antidifferentiation (26A36)

Related Items

Cousin’s lemma in second-order arithmetic ⋮ Revisiting the fundamental theorem of calculus ⋮ How to Compute Antiderivatives ⋮ Functions with antiderivative. I: Characterizations and properties ⋮ An effective analysis of the Denjoy rank

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Non-absolute integrals: A survey
• A new proof of the theorem on exponential diophantine representation of enumerable sets
• Ranks of differentiable functions
• A Note on End-Sets