Constructive measure theory

DOI10.1090/MEMO/0116MaRDI QIDQ5650674zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(20)

• The construction of chaos theory
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Closed subsets in Bishop topological groups
• Algebras of complemented subsets
• What is constructive mathematics?
• A computable version of the Daniell-Stone theorem on integration and linear functionals
• A nonstandard proof of a lemma from constructive measure theory
• A Short Proof of an Existence Theorem in Constructive Measure Theory
• Direct spectra of Bishop spaces and their limits
• Proof-relevance in Bishop-style constructive mathematics
• The Urysohn extension theorem for Bishop spaces
• A Constructive Approach to the Theory of Stochastic Processes
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• Computability on random events and variables in a computable probability space
• Boolean rigs
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• A predicative approach to the constructive integration theory of locally compact metric spaces
• The knowing mathematician

This page was built for publication: Constructive measure theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5650674)