Constructive algebraic integration theory

DOI10.1016/J.APAL.2005.05.031MaRDI QIDQ2575777zbMATHOpenAlexFDO

Authors Bas Spitters

Publication date 6 December 2005

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.2005.05.031

zbMATH Keywords

convergence almost everywheremeasurable functionsdominated convergence

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30) Other connections with logic and set theory (28E15) Constructive real analysis (26E40)

Recommendations

• A THEORY OF ALGEBRAIC INTEGRATION
• scientific article; zbMATH DE number 1891012
• Constructive algebra
• Algebraic Structures in Integrability
• scientific article; zbMATH DE number 3173784
• scientific article; zbMATH DE number 1098972
• scientific article; zbMATH DE number 647449
• scientific article; zbMATH DE number 3920699
• scientific article; zbMATH DE number 1405632
• The algebraic structures underlying integrability

Cites work

• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• 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 4087949 (Why is no real title available?)
• scientific article; zbMATH DE number 3429561 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• Algebraic integration theory
• Constructivism in mathematics. An introduction. Volume II
• Metric Boolean algebras and constructive measure theory
• Some elementary results in intuitionistic model theory

Cited in

(9)

• The swap of integral and limit in constructive mathematics
• The logic of integration
• An effect-theoretic account of Lebesgue integration
• Foundations of constructive probability theory
• Natural density and probability, constructively
• scientific article; zbMATH DE number 3108007 (Why is no real title available?)
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• Lebesgue's dominated convergence theorem in Bishop's style
• scientific article; zbMATH DE number 1405632 (Why is no real title available?)

This page was built for publication: Constructive algebraic integration theory

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