Closed this issue 9 months ago · 0 comments
$\mathrm{Nuon}(x)$ (number of ones appearing in binary representation of $x$) is definable by $\Delta_0$-formula of arithmetic.