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 mathematics; Brouwer; intuitionism; Russian school; constructive measure theory; Bishop; \(\alpha\)-singular covering

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

28A20: Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03F65: Other constructive mathematics

03F55: Intuitionistic mathematics

03F25: Relative consistency and interpretations

Related Items

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

Cites Work

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