Inductive definitions over a predicative arithmetic

Annals of Pure and Applied Logic

Volumn 136, Issue 1-2, 2005, Pages 175-188

  Wainer, Stanley S ^a   Williams, Richard S ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Inductive definitions; Omega rules; Predicative arithmetic; Provably recursive functions; Slow growing hierarchy

Indexed keywords

EID: 23944443494     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2005.05.011     Document Type: Article

References (14)

1. T. Arai A slow growing analogue of Buchholz' proof Annals of Pure and Applied Logic 54 1991 101-120
2. T. Arai Consistency proof via pointwise induction Archive for Mathematical Logic 37 1998 149-165
3. A. Beckmann A. Weiermann Characterising the elementary recursive functions by a fragment of Gödel's T Archive for Mathematical Logic 39 2000 475-491
4. S. Bellantoni S. Cook A new recursion theoretic characterization of the polytime functions Computational Complexity 2 1992 97-110
5. 1 - CA) + BI Annals of Pure and Applied Logic 33 1987 131-155
6. M. Fairtlough S.S. Wainer Hierarchies of provably recursive functions in: S. Buss (Ed.) Handbook of Proof Theory 1998 Elsevier Science BV 149-207
7. 1-logic, part 1 Annals of Mathematical Logic 21 1981 75-219
8. J.-Y. Girard Proof theory and logical complexity in: Studies in Proof Theory vol. 1 1986 Bibliopolis
9. D. Leivant Intrinsic theories and computational complexity in: D. Leivant (Ed.) Logic and Computational Complexity Lecture Notes in Computer Science vol. 960 1995 Springer-Verlag 177-194
10. E. Nelson Predicative Arithmetic 1986 Princeton University Press
11. G.E. Ostrin S.S. Wainer Proof theoretic complexity in: H. Schwichtenberg R. Steinbrÿggen (Eds.) Proof and System Reliability 2002 Kluwer Academic 369-397
12. G.E. Ostrin S.S. Wainer Elementary arithmetic Annals of Pure and Applied Logic 133 2005 275-292
13. U. Schmerl Number theory and the Bachmann-Howard ordinal in: J. Stern (Ed.) Logic Colloquium'81 1982 North-Holland 287-298
14. R.S. Williams, Finitely iterated inductive definitions over a predicative arithmetic, Ph.D. Dissertation, Leeds, 2004