The swap of integral and limit in constructive mathematics
From MaRDI portal
Publication:3053233
DOI10.1002/malq.200910107zbMath1201.03058OpenAlexW1973306606MaRDI QIDQ3053233
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
Constructive and recursive analysis (03F60) Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)
Uses Software
Cites Work