Constructive algebraic integration theory

DOI10.1016/j.apal.2005.05.031zbMath1099.28009OpenAlexW2149472882MaRDI QIDQ2575777

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

measurable functionsconvergence almost everywheredominated convergence

Mathematics Subject Classification ID

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

Related Items

Lebesgue's dominated convergence theorem in Bishop's style ⋮ The swap of integral and limit in constructive mathematics

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Metric Boolean algebras and constructive measure theory
• Algebraic integration theory
• Some elementary results in intuitionistic model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item