::I agree with all of this.  Three points to make for the sake of precision: (i) I think that classical recursive mathematics and Markov's constructivism are essentially the same, and I think that this is the constructivism that the Russian constructivist school came to hold, although I feel some doubt that I am right in this, (ii) The most important theory of constructive set theory, CZF, is a more or less successful attempt (ie. modulo hand-waving) to clothe Martin-Loef's type theory in the language of ZF, and (iii) I don't think Brouwerian intuitionism was really faithfully followed by anyone else: Heyting's approach is essentially the same sort of thing as BishopMartin-Loef, and who else really tried to take up Brouwer?  Kolmogorov?   
 ::And: excellent! I am pleased.  I think that documenting the three schools is a good place to start, and then get started on the real content.  It sounds like I have most to say on measure theory, and you have most to say on analysis?  If so, there's a possible division of labour. — Charles Stewart