On the Lebesgue measurability of continuous functions in constructive analysis

DOI10.1090/S0273-0979-1991-16014-3MaRDI QIDQ3971805zbMATH OpenFDO

Authors Douglas Bridges, Oswald Demuth

Publication date 25 June 1992

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

Full work available at URL https://doi.org/10.1090/S0273-0979-1991-16014-3

zbMATH Keywords

\(\alpha\)-singular coveringBishopBrouwerconstructive mathematicsconstructive measure theoryintuitionismRussian school

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20)

Recommendations

• Lebesgue measurability of separately continuous functions and separability
• On Baire measurability in spaces of continuous functions
• On the approximation of measurable functions by continuous functions
• scientific article; zbMATH DE number 4146322
• scientific article; zbMATH DE number 3090158
• scientific article; zbMATH DE number 2114273
• On a continuity theorem for constructive functions
• scientific article; zbMATH DE number 4048360
• scientific article; zbMATH DE number 3227894
• The Lebesgue measurability of G integrable function

Cites work

• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3784268 (Why is no real title available?)
• Intuitionism. An introduction. 3rd revised ed

Cited in

(9)

• Constructive mathematics: a foundation for computable analysis
• Locating the range of an operator with an adjoint
• A functional realization of the Lebesgue extension
• scientific article; zbMATH DE number 3124825 (Why is no real title available?)
• scientific article; zbMATH DE number 1289993 (Why is no real title available?)
• scientific article; zbMATH DE number 1795229 (Why is no real title available?)
• scientific article; zbMATH DE number 7489179 (Why is no real title available?)
• Compactness, colocatedness, measurability and ED
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory

This page was built for publication: On the Lebesgue measurability of continuous functions in constructive analysis

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