@misc{indiciaef092b6a27bd0, title = {Numbers as Data Structures: The Prime Successor Function as Primitive}, author = {Ross D. King}, year = {2011}, url = {https://arxiv.org/abs/1104.3056}, note = {Source identifier: 1104.3056} }