Categorical characterizations of the natural numbers require primitive recursion

Leszek Aleksander Kołodziejczyk, Keita Yokoyama

Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA${}_0^{\ast }$.…