Metric Boolean algebras and constructive measure theory

DOI10.1007/S001530100123zbMath1064.03039OpenAlexW1982261248MaRDI QIDQ1407569

Erik Palmgren, Thierry Coquand

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530100123

zbMATH Keywords

Borel measure problemconstructive measure theorymetric Boolean algebras

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Measures on Boolean rings, measure algebras (28A60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other connections with logic and set theory (28E15)

Related Items (4)

Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Categorical geometry and integration without points ⋮ Constructive algebraic integration theory ⋮ Algebras of complemented subsets

This page was built for publication: Metric Boolean algebras and constructive measure theory