[FOM] Re: Constructive analysis

[Ulrich Kohlenbach]

An enormous number of results (in precise meta-mathematical terms) 
on the relationship between Bishop style constructivism, 
Russian constructive mathematics and intuitionistic mathematics 
can be found in 

1) Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An 
                                   Introduction, vol I+II,
                                   North-Holland, 1988 
and 

2) Beeson, M.: Foundations of Constructive Mathematics. Ergebnisse 
               der Mathematik und ihrer Grenzgebiete vol. 6, Springer 
               1985. 

Both books also indicate how various branches of mathematics can be
formalized within these different frameworks. 

Ulrich Kohlenbach