Annals of Pure and Applied Logic 166 (2):219-231 (2015)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2014.10.003 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 53,688
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- linkinghub.elsevier.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Cuts, Consistency Statements and Interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
Reverse Mathematics and Peano Categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
Second-Order and Higher-Order Logic.Herbert B. Enderton - 2008 - Stanford Encyclopedia of Philosophy.
Factorization of Polynomials and °1 Induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31 (2):289.
View all 6 references / Add more references
Citations of this work BETA
Unifying the Model Theory of First-Order and Second-Order Arithmetic viaWKL0⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
Reverse Mathematics, Young Diagrams, and the Ascending Chain Condition.Kostas Hatzikiriakou & Stephen G. Simpson - 2017 - Journal of Symbolic Logic 82 (2):576-589.
Similar books and articles
Term Rewriting Theory for the Primitive Recursive Functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Unary Primitive Recursive Functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Recursion Theory and the Lambda-Calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
The Equivalence of Bar Recursion and Open Recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
Monoidal Categories with Natural Numbers Object.Robert Paré & Leopoldo Román - 1989 - Studia Logica 48 (3):361 - 376.
Non-Definability of the Ackermann Function with Type 1 Partial Primitive Recursion.Karl-Heinz Niggl - 1997 - Archive for Mathematical Logic 37 (1):1-13.
Primitive Recursive Real Numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
First-Order Reasoning and Primitive Recursive Natural Number Notations.David Isles - 2010 - Studia Logica 96 (1):49-64.
From Magnitude to Natural Numbers: A Developmental Neurocognitive Perspective.Roi Cohen Kadosh & Vincent Walsh - 2008 - Behavioral and Brain Sciences 31 (6):647-648.
Safe Recursion with Higher Types and BCK-Algebra.Martin Hofmann - 2000 - Annals of Pure and Applied Logic 104 (1-3):113-166.
Primitive Recursive Real Numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
Reverse Mathematics and Peano Categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
Analytics
Added to PP index
2015-08-28
Total views
10 ( #815,621 of 2,349,561 )
Recent downloads (6 months)
1 ( #510,673 of 2,349,561 )
2015-08-28
Total views
10 ( #815,621 of 2,349,561 )
Recent downloads (6 months)
1 ( #510,673 of 2,349,561 )
How can I increase my downloads?
Downloads
