On the Lebesgue measurability of continuous functions in constructive analysis
Publication:3971805
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)
constructive mathematics; Brouwer; intuitionism; Russian school; constructive measure theory; Bishop; \(\alpha\)-singular covering
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
Cites Work