Lebesgue's dominated convergence theorem in Bishop's style
From MaRDI portal
Publication:651319
DOI10.1016/j.apal.2011.06.020zbMath1251.03089MaRDI 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
constructive mathematics; Lebesgue's dominated convergence theorem; ordered sets; uniform spaces; uniform lattices
03F60: Constructive and recursive analysis
54E15: Uniform structures and generalizations
28B99: Set functions, measures and integrals with values in abstract spaces
Related Items
Cites Work