Some applications of Brouwer's Thesis on Bars

One may distinguish two components in Brouwer’s proposal for an intuitionistic reform of the existing mathematical practice.