Comment by Jweb_Guru

Ah, I didn't realize this was a generational thing. I am definitely a "new" intuitionist, so that probably greatly influences my perspective. I suppose that before results like this, the setoid model, etc. were known constructivism was indeed a much more hardline position to have to take!