Available in electronic format
Available in print format		 Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(e) ISSN 0273-0979(p)
Previous issue | Table of contents | Next issue
Articles in press | Recently posted articles | Most recent issue | All issues: 1891 - Present
Previous Article | Next Article
     

On the Lebesgue measurability of continuous functions in constructive analysis

Author(s): Douglas Bridges; Osvald Demuth
Journal: Bull. Amer. Math. Soc. 24 (1991), 259-276.
MSC (1985): Primary 03F25, 03F65, 28A20; Secondary 03F55, 03F60
MathSciNet review: 1066107
Retrieve article in: PDF

References | Similar articles | Additional information

References:

[Beeson] M. J. Beeson, Foundations of constructive mathematics, Ergeb. Math. Grenzgeb., Folge 3, Band 6, Springer-Verlag, Berlin and New York, 1985. MR 786465

[Bishop-Bridges] Errett Bishop and Douglas Bridges, Constructive analysis, Grundlehren Math. Wiss., Band 279, Springer-Verlag, Berlin and New York, 1985. MR 804042

[Bridges-Richman] Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Math. Soc. Lecture Notes, no. 97, Cambridge Univ. Press, 1987. MR 890955

[Demuth 1964] O. Demuth, On Lebesgue integration in constructive analysis, Doctoral thesis, Moscow State Univ., 1964. (Russian) MR 175778

[Demuth 1965] O. Demuth, On Lebesgue integration in constructive analysis, Dokl. Akad. Nauk USSR 160 (6), 1239-1241, 1965. (Russian) MR 175778

[Demuth 1967] O. Demuth, The Lebesgue integral in constructive analysis, Zapisky Nauk. Sem. Leningrad Otdel. Mat. Inst. Steklov. 4 (1967), 30-43. (Russian) MR 253899

[Demuth 1968] O. Demuth, The Lebesgue integral and the concept of function measurability in constructive analysis, Zapisky Nauk. Sem. Leningrad Otdel. Mat. Inst. Steklov. 8 (1968), 21-28. (Russian) MR 240256

[Demuth 1969a] O. Demuth, On the differentiability of constructive functions, Comment. Math. Univ. Carolinae 10 (1969), 167-175. (Russian) MR 263628

[Demuth 1969b] O. Demuth, The spaces Lr and S in constructive mathematics, Comment. Math. Univ. Carolinae 10 (1969), 261-284. (Russian) MR 245429

[Demuth-Kučera] O. Demuth and A. Kučera, Remarks on constructive mathematical analysis, Logic Colloquium '78 (M. Boffa, D. van Dalen, and K. McAloon, eds.), North-Holland, Amsterdam, 1979, pp. 81-129. MR 567667

[Heyting] A. Heyting, Intuitionism—an introduction, 3rd ed., North-Holland, Amsterdam, 1971.

[Kfoury et al.] A. J. Kfoury, Robert N. Moll, and Michael A. Arbib, A programming approach to computability, Springer-Verlag, Berlin and New York, 1982. MR 784613

[Kushner] B. A. Kushner, Lectures on constructive mathematical analysis, Math. Monographs, vol. 60, Amer. Math. Soc. Providence, RI, 1985. MR 773852

[Rogers] Hartley Rogers, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. MR 224462

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: 10.1090/S0273-0979-1991-16014-3
PII: S 0273-0979(1991)16014-3

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google