Some applications of Brouwer's thesis on bars
pp. 326-340
in: Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann (eds), One hundred years of intuitionism (1907–2007), Berlin, Springer, 2008Abstract
One may distinguish two components in Brouwer's proposal for an intuitionistic reform of the existing mathematical practice.
