Constructive measure theory

DOI10.1090/memo/0116zbMath0239.02019OpenAlexW4205256774MaRDI QIDQ5650674

Errett Bishop, Henry Cheng

Publication date: 1972

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0116

Mathematics Subject Classification ID

Measure and integration (28-XX) Proof theory and constructive mathematics (03F99)

Related Items

The Urysohn Extension Theorem for Bishop Spaces, Proof-relevance in Bishop-style constructive mathematics, Direct spectra of Bishop spaces and their limits, A Constructive Approach to the Theory of Stochastic Processes, Computability on random events and variables in a computable probability space, What is constructive mathematics?, A computable version of the Daniell-Stone theorem on integration and linear functionals, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, A Short Proof of an Existence Theorem in Constructive Measure Theory, The construction of chaos theory, Closed subsets in Bishop topological groups, A nonstandard proof of a lemma from constructive measure theory, The knowing mathematician, Algebras of complemented subsets