Long Finite Sequences
暂无分享,去创建一个
[1] Graham Higman,et al. Ordering by Divisibility in Abstract Algebras , 1952 .
[2] C. Nash-Williams. On well-quasi-ordering infinite trees , 1963, Mathematical Proceedings of the Cambridge Philosophical Society.
[3] S. S. Wainer,et al. A classification of the ordinal recursive functions , 1970 .
[4] S. Wainer,et al. Hierarchies of number-theoretic functions. I , 1970 .
[5] S. Wainer,et al. Hierarchies of number-theoretic functions I, II: A correction , 1971 .
[6] Stanley S. Wainer,et al. Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy , 1972, Journal of Symbolic Logic.
[7] H. Keisler,et al. Handbook of mathematical logic , 1977 .
[8] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .
[9] Azriel Levy. Basic set theory , 1979 .
[10] H. E. Rose. Subrecursion: Functions and Hierarchies , 1984 .
[11] C. Smoryński,et al. Big News From Archimedes to Friedman1), r) , 1985 .
[12] Paul Seymour,et al. The metamathematics of the graph minor theorem , 1985 .
[13] C. Smoryński. The Varieties of Arboreal Experience , 1985 .
[14] Stephen G. Simpson,et al. Nonprovability of Certain Combinatorial Properties of Finite Trees , 1985 .
[15] H. Friedman,et al. Harvey Friedman's Research on the Foundations of Mathematics , 1985 .
[16] Stephen G. Simpson,et al. Ordinal numbers and the Hilbert basis theorem , 1988, Journal of Symbolic Logic.
[17] Harvey M. Friedman,et al. Elementary Descent Recursion and Proof Theory , 1995, Ann. Pure Appl. Log..