Retracing Cantor's first steps in Brouwer's company

Abstract

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.