On the Lebesgue measurability of continuous functions in constructive analysis

DOI10.1090/S0273-0979-1991-16014-3zbMath0742.03024MaRDI QIDQ3971805

Oswald Demuth, Douglas S. Bridges

Publication date: 25 June 1992

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

zbMATH Keywords

constructive mathematicsBrouwerintuitionismRussian schoolconstructive measure theoryBishop\(\alpha\)-singular covering

Mathematics Subject Classification ID

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

Related Items (2)

Locating the range of an operator with an adjoint ⋮ Constructive mathematics: a foundation for computable analysis

Cites Work

• Intuitionism. An introduction. 3rd revised ed
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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