Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(online) ISSN 0273-0979(print)

On the Lebesgue measurability of continuous functions in constructive analysis


Authors: Douglas Bridges and Osvald Demuth
Journal: Bull. Amer. Math. Soc. 24 (1991), 259-276
MSC (1985): Primary 03F25, 03F65, 28A20; Secondary 03F55, 03F60
MathSciNet review: 1066107
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • 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 (86k:03055)
  • Errett Bishop and Douglas Bridges, Constructive analysis, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279, Springer-Verlag, Berlin, 1985. MR 804042 (87d:03172)
  • Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955 (88k:03127)
  • Osval′d Demut, On Lebesgue integration in constructive analysis, Dokl. Akad. Nauk SSSR 160 (1965), 1239–1241 (Russian). MR 0175778 (31 #54)
  • Osval′d Demut, On Lebesgue integration in constructive analysis, Dokl. Akad. Nauk SSSR 160 (1965), 1239–1241 (Russian). MR 0175778 (31 #54)
  • 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 (40 #7112)
  • 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 (39 #1605)
  • Osval′d Demut, The differentiability of constructive functions, Comment. Math. Univ. Carolinae 10 (1969), 167–175 (Russian). MR 0263628 (41 #8229)
  • O. Demut, The spaces 𝐿_{𝑛} and 𝑆 in constructive mathematics, Comment. Math. Univ. Carolinae 10 (1969), 261–284 (Russian). MR 0245429 (39 #6737)
  • O. Demuth and A. Kučera, Remarks on constructive mathematical analysis, Logic Colloquium ’78 (Mons, 1978) Stud. Logic Foundations Math., vol. 97, North-Holland, Amsterdam, 1979, pp. 81–129. MR 567667 (81g:03072)
  • [Heyting] A. Heyting, Intuitionisman 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 (87i:03079)
  • 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 (86a:03067)
  • Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York, 1967. MR 0224462 (37 #61)

Similar Articles

Retrieve articles in Bulletin of the American Mathematical Society with MSC (1985): 03F25, 03F65, 28A20, 03F55, 03F60

Retrieve articles in all journals with MSC (1985): 03F25, 03F65, 28A20, 03F55, 03F60


Additional Information

DOI: http://dx.doi.org/10.1090/S0273-0979-1991-16014-3
PII: S 0273-0979(1991)16014-3