The swap of integral and limit in constructive mathematics

DOI10.1002/MALQ.200910107MaRDI QIDQ3053233zbMATH OpenOpenAlexFDO

Authors Rudolf Taschner

Publication date 4 November 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200910107

zbMATH Keywords

integrationconstructive mathematicsintuitionistic mathematics

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Lebesgue's dominated convergence theorem in Bishop's style
• scientific article; zbMATH DE number 2212005
• Constructive equivalents of the uniform continuity theorem
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
• scientific article; zbMATH DE number 4070894

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 4095810 (Why is no real title available?)
• scientific article; zbMATH DE number 646228 (Why is no real title available?)
• scientific article; zbMATH DE number 1795231 (Why is no real title available?)
• scientific article; zbMATH DE number 1454492 (Why is no real title available?)
• A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita
• Classifying Dini's theorem
• Constructive algebraic integration theory
• Lebesgue Convergence Theorems and Reverse Mathematics
• Lebesgue's dominated convergence theorem in Bishop's style

Cited in

(2)

• A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita
• Lebesgue's dominated convergence theorem in Bishop's style

Describes a project that uses

Uses Software

• Matita

This page was built for publication: The swap of integral and limit in constructive mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3053233)