One thing may be worth pointing out, that constructive mathematics (Bishop's style which I understand is the topic of current discussion) is currently seen as working with Intuitionistic logic. I guess this goes against any subjectivism in constructive mathematics. Regards, Ayan