FOM: Constructive analysis

Vladimir Komendantsky vycom at
Sat Aug 31 12:55:19 EDT 2002

Steve, you may use in your course a classical monograph by B.A.Kushner
``Lections on constructive mathematical analysis''. Originally it was
published in Russian, but I think there must be an English edition. This book
represents the development of constructive analysis in Soviet Union. Several
very specific topics are discussed there, like algorithmic undecidability of
some problems connected with constructive reals.

More information about the FOM mailing list