[FOM] Re: Constructive analysis

Ulrich Kohlenbach kohlenb at brics.dk
Thu Sep 5 15:10:53 EDT 2002

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 

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

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

Ulrich Kohlenbach

More information about the FOM mailing list