Categorical characterizations of the natural numbers require primitive recursion

From MaRDI portal
Publication:476119

DOI10.1016/J.APAL.2014.10.003zbMath1369.03100arXiv1410.3649OpenAlexW2064000007MaRDI QIDQ476119

Keita Yokoyama, Leszek Aleksander Kołodziejczyk

Publication date: 28 November 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.3649




Related Items (7)




Cites Work




This page was built for publication: Categorical characterizations of the natural numbers require primitive recursion