Long Finite Sequences

Journal of Combinatorial Theory. Series A

Volumn 95, Issue 1, 2001, Pages 102-144

  Friedman, Harvey M ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346941243     PISSN: 00973165     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcta.2000.3154     Document Type: Article

References (18)

1. Friedman H., Robertson N., Seymour P. The metamathematics of the graph minor theorem. Logic and Combinatorics. Contemporary Mathematics. 65:1987;Amer. Math. Soc. Providence. p. 229-261.
2. Friedman H., Sheard M. Elementary descent recursion and proof theory. Ann. Pure Appl. Logic. 71:1995;1-45.
3. R. Dougherty, e-mail to H. Friedman dated 9/17/98, 9/22/98, 9/29/98, and 10/2/98.
4. Higman G. Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 2:1952;326-336.
5. Levy A. Basic Set Theory. Perspectives in Mathematical Logic. 1979;Springer-Verlag, Berlin/New York.
6. Lob M. H., Wainer S. S. Hierarchies of number-theoretic functions, I. Arch. Math. Logik. 13:1970;39-51.
7. Lob M. H., Wainer S. S. Hierarchies of number-theoretic functions, II. Arch. Math. Logik. 13:1970;39-51.
8. Lob M. H., Wainer S. S. Hierarchies of number-theoretic functions. Correction. Arch. Math. Logik. 14:1971;198-199.
9. Nash-Williams C. St. J. A. On well-quasi-ordering finite trees. Proc. Cambridge Phil. Soc. 59:1963;833-835.
10. Paris J., Harrington L. A mathematical incompleteness in Peano arithmetic. Barwise J. A Handbook of Mathematical Logic. 1977;1133-1142 North-Holland, Amsterdam.
11. Rose H. E. Subrecursion: Functions and Hierarchies. Oxford Logic Guides. 9:1984.
12. Simpson S. G. Nonprovability of certain combinatorial properties of finite trees. Harrington, Morley, Scedrov, Simpson. Harvey Friedman's Research on the Foundations of Mathematics. 1985;87-117 North-Holland, Amsterdam.
13. Simpson S. G. Ordinals numbers and the Hilbert basis theorem. J. Symbolic Logic. 53:1988;961-974.
14. Smorynski C. The varieties of arboreal experience. Math. Intelligencer. 4:1982;182-189.
15. Smorynski C. "Big" news from Archimedes to Friedman. Notices Amer. Math. Soc. 30:1983;251-256.
16. Tait W. W. Nested recursion. Math. Ann. 143:1961;236-250.
17. Wainer S. S. A classification of the ordinal recursive functions. Arch. Math. Logik. 13:1970;136-153.
18. Wainer S. S. Ordinal recursion and a refinement of the extended Grzegorczyk hierarchy. J. Symbolic Logic. 37:1972;281-292.