Retracing Cantor's first steps in Brouwer's company
  We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of $[-\pi,\pi]$ and even all countable subsets of $[-\pi,\pi]$ are sets of uniqueness. 
Wim Veldman
math.LO