Ramified recurrence and computational complexity III: Higher type recurrence and elementary complexity

Annals of Pure and Applied Logic 96 (1-3):209-229 (1999)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/S0168-0072(98)00040-2
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,634
External links

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
References found in this work BETA
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
The Realm of Primitive Recursion.Harold Simmons - 1988 - Archive for Mathematical Logic 27 (2):177-188.
The Impredicativity of Induction.Charles Parsons - 1992 - In Michael Detlefsen (ed.), Proof, Logic, and Formalization. Routledge. pp. 139--161.

View all 8 references / Add more references

Citations of this work BETA
Tiering as a Recursion Technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.

Add more citations

Similar books and articles
Eternal Recurrence and the Categorical Imperative.Philip J. Kain - 2007 - Southern Journal of Philosophy 45 (1):105-116.
On the Unproductiveness of Language and Linguistics.David M. W. Powers - 2006 - Behavioral and Brain Sciences 29 (1):82-84.
The Eternal Recurrence and Nietzsche's Ethic of Virtue.Lester H. Hunt - 1993 - International Studies in Philosophy 25 (2):3-11.
Computation Models for Parameterized Complexity.Marco Cesati & Miriam Dilanni - 1997 - Mathematical Logic Quarterly 43 (2):179-202.
Generic Separations and Leaf Languages.M. Galota, H. Vollmer & S. Kosub - 2003 - Mathematical Logic Quarterly 49 (4):353.
Recurrence in Levinas Recurrence in Levinas.Michael B. Smith - 2006 - Journal of Jewish Thought and Philosophy 14 (1):1-15.
Que veut dire « Faire la même chose » ?Jacques Bouveresse - 2001 - Archives de Philosophie 3:479-503.
Added to PP index
2014-01-16

Total downloads
4 ( #730,367 of 2,236,127 )

Recent downloads (6 months)
3 ( #192,731 of 2,236,127 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature