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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,688
Through your library

References found in this work BETA

Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
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

Add more citations

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.
The Equivalence of Bar Recursion and Open Recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
On Nested Simple Recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Primitive Recursive Real Numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
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.
Monotone Majorizable Functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.

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 )

How can I increase my downloads?

Downloads

My notes