Constructive algebraic integration theory

DOI10.1016/J.APAL.2005.05.031zbMATH Open1099.28009OpenAlexW2149472882MaRDI QIDQ2575777FDOQ2575777

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• Algebraic integration theory
• Title not available (Why is that?)
• Some elementary results in intuitionistic model theory
• Metric Boolean algebras and constructive measure theory
• Title not available (Why is that?)

Cited In (5)

• The swap of integral and limit in constructive mathematics
• Title not available (Why is that?)
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• Title not available (Why is that?)
• Lebesgue's dominated convergence theorem in Bishop's style

   Recommendations

• A THEORY OF ALGEBRAIC INTEGRATION 👍 👎
• Title not available (Why is that?) 👍 👎
• Constructive algebra 👍 👎
• Algebraic Structures in Integrability 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The algebraic structures underlying integrability 👍 👎

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)