4
$\begingroup$

I'm having trouble showing that the set of differentiable functions on $[0,1]$ is coanalytic ($\mathbf{\Pi}_{1}^{1}$) and the set of continuously differentiable functions of $[0,1]$ is analytic ($\mathbf{\Sigma }_{1}^{1}$). Any help would be appreciated.

1 Answers 1