Lebesgue's dominated convergence theorem in Bishop's style

DOI10.1016/j.apal.2011.06.020zbMath1251.03089OpenAlexW2006855257MaRDI QIDQ651319

Claudio Sacerdoti Coen, Enrico Zoli

Publication date: 12 December 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.020

zbMATH Keywords

constructive mathematicsLebesgue's dominated convergence theoremordered setsuniform spacesuniform lattices

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15) Set functions, measures and integrals with values in abstract spaces (28B99)

Related Items (1)

The swap of integral and limit in constructive mathematics

Cites Work

• Uniform lattices. I: A generalization of topological Riesz spaces and topological Boolean rings
• Uniform lattices. II: Order continuity and exhaustivity
• Constructive algebraic integration theory
• A proof–technique in uniform space theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lebesgue's dominated convergence theorem in Bishop's style