论文信息 - Hierarchies of number-theoretic functions. I - 字舞流文

Hierarchies of number-theoretic functions. I

S. Wainer | M. Löb | M. H. Löb | S. S. Wainer

[1] Robert W. Ritchie,et al. Classes of recursive functions based on Ackermann’s function , 1965 .

[2] Georg Kreisel,et al. On the interpretation of non-finitist proofs—Part I , 1951, Journal of Symbolic Logic.

[3] K. Gödel. Consistency-Proof for the Generalized Continuum-Hypothesis. , 1939, Proceedings of the National Academy of Sciences of the United States of America.

[4] W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen , 1928 .

[5] A. Grzegorczyk. Some classes of recursive functions , 1964 .

[6] Solomon Feferman,et al. CLASSIFICATIONS OF RECURSIVE FUNCTIONS BY MEANS OF HIERARCHIES( , 1962 .

[7] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[8] Alonzo Church,et al. Formal definitions in the theory of ordinal numbers , 1937 .