The swap of integral and limit in constructive mathematics

DOI10.1002/MALQ.200910107zbMATH Open1201.03058OpenAlexW1973306606MaRDI QIDQ3053233FDOQ3053233

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lebesgue Convergence Theorems and Reverse Mathematics
• Title not available (Why is that?)
• Classifying Dini's theorem
• Constructive algebraic integration theory
• Lebesgue's dominated convergence theorem in Bishop's style
• A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita
• Title not available (Why is that?)
• Title not available (Why is that?)

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

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)