Constructive algebraic integration theory
DOI10.1016/J.APAL.2005.05.031zbMATH Open1099.28009OpenAlexW2149472882MaRDI QIDQ2575777FDOQ2575777
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
Recommendations
- A THEORY OF ALGEBRAIC INTEGRATION
- scientific article; zbMATH DE number 1891012
- Constructive algebra
- Algebraic Structures in Integrability
- scientific article
- 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
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 (9)
- The swap of integral and limit in constructive mathematics
- Title not available (Why is that?)
- Natural density and probability, constructively
- The logic of integration
- Foundations of constructive probability theory
- An effect-theoretic account of Lebesgue integration
- 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
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)
