On the Lebesgue measurability of continuous functions in constructive analysis
HTML articles powered by AMS MathViewer
- by Douglas Bridges and Osvald Demuth PDF
- Bull. Amer. Math. Soc. 24 (1991), 259-276
References
- Michael J. Beeson, Foundations of constructive mathematics, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 6, Springer-Verlag, Berlin, 1985. Metamathematical studies. MR 786465, DOI 10.1007/978-3-642-68952-9
- Errett Bishop and Douglas Bridges, Constructive analysis, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279, Springer-Verlag, Berlin, 1985. MR 804042, DOI 10.1007/978-3-642-61667-9
- Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955, DOI 10.1017/CBO9780511565663
- Osval′d Demut, On Lebesgue integration in constructive analysis, Dokl. Akad. Nauk SSSR 160 (1965), 1239–1241 (Russian). MR 0175778
- Osval′d Demut, On Lebesgue integration in constructive analysis, Dokl. Akad. Nauk SSSR 160 (1965), 1239–1241 (Russian). MR 0175778
- Osval′d Demut, The Lebesgue integral in constructive analysis, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 4 (1967), 30–43 (Russian). MR 0253899
- Osvald Demuth, The Lebesgue integral and the concept of measurability of functions in constructive analysis, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 8 (1968), 21–28 (Russian). MR 0240256
- Osval′d Demut, The differentiability of constructive functions, Comment. Math. Univ. Carolinae 10 (1969), 167–175 (Russian). MR 263628
- O. Demut, The spaces $L_{n}$ and $S$ in constructive mathematics, Comment. Math. Univ. Carolinae 10 (1969), 261–284 (Russian). MR 245429
- O. Demuth and A. Kučera, Remarks on constructive mathematical analysis, Logic Colloquium ’78 (Mons, 1978) Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 81–129. MR 567667 [Heyting] A. Heyting, Intuitionism—an introduction, 3rd ed., North-Holland, Amsterdam, 1971.
- A. J. Kfoury, Robert N. Moll, and Michael A. Arbib, A programming approach to computability, Texts and Monographs in Computer Science, Springer-Verlag, New York, 1982. AKM Series in Theoretical Computer Science. MR 784613, DOI 10.1007/978-1-4612-5749-3
- B. A. Kushner, Lectures on constructive mathematical analysis, Translations of Mathematical Monographs, vol. 60, American Mathematical Society, Providence, RI, 1984. Translated from the Russian by E. Mendelson; Translation edited by Lev J. Leifman. MR 773852, DOI 10.1090/mmono/060
- Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
Additional Information
- Journal: Bull. Amer. Math. Soc. 24 (1991), 259-276
- MSC (1985): Primary 03F25, 03F65, 28A20; Secondary 03F55, 03F60
- DOI: https://doi.org/10.1090/S0273-0979-1991-16014-3
- MathSciNet review: 1066107