Categorical characterizations of the natural numbers require primitive recursion
Work
Year: 2014
Type: article
Source: Annals of Pure and Applied Logic
Institutions Institute of Mathematics, University of Warsaw, Japan Advanced Institute of Science and Technology
Cites: 12
Cited by: 8
Related to: 10
FWCI: 0.854
Citation percentile (by year/subfield): 70.75
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze
Grant IDS 2013/09/B/ST1/04390, 25887026